zuxichen / divine Goto Github PK
View Code? Open in Web Editor NEWThis project forked from paradise-fi/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.
Home Page: https://divine.fi.muni.cz