/Diagnosability

We show how to encode bounded diagnosability problem for finite automata in smt with the files available here

Primary LanguagePython

Stargazers