ParaDiSe's repositories
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.
extbench-drivers
Drivers for external tools for DivBench
sv-benchmarks
Collection of Verification Tasks