naharul98 / formal-verification---modulo-counter Goto Github PK
View Code? Open in Web Editor NEWA modulo counter model implemented in GCLang along with a set of properties to formally verify correctness of the model. XCHek is used to formally verify the model