Pono

An SMT-based model checker built on smt-switch.


“Pono is a performant, adaptable, and extensible SMT-based model checker implemented in C++. It was developed as the next generation of CoSA and thus was originally named cosa2."