Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness (Long Tool Paper).

Aron Ricardo Perez-Lopez, Po-Chun Chien, Florian Lonsing, Samantha Archer, Ahmed Irfan, Clark W. Barrett

Browse the full FM paper archive.