Pono: A flexible and extensible SMT-based model checker - View it on GitHub