pono

Pono: A flexible and extensible SMT-based model checker

GitHub

68 stars
7 watching
31 forks
Language: C++
last commit: 14 days ago