paradise-fi/bricks paradise-fi/bricks

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    C++
  • Created about 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
paradise-fi/bricks
github

paradise-fi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Header-only C++ utility library

More Repositories

1

RoFI

Distributed Metamorphic Robots
C++
37
star
2

divine

DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull requests here will not be accepted. If you wish to contribute, please contatct us by e-mail.
C++
19
star
3

dipot

Interface between SPOT and DIVINE
C++
6
star
4

SymDIVINE

No longer maintained: Verification tool for parallel C/C++ programs with LTL support
C++
6
star