Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness

Published in 27th International Symposium on Formal Methods (FM 2026), 2026