apirogov / flat-checker Goto Github PK
View Code? Open in Web Editor NEWSMT-based prototype model checker for LTL with counting that uses flat underapproximations of counter systems (my master's thesis).
License: BSD 3-Clause "New" or "Revised" License