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

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Áron Ricardo Perez-Lopez, Po-Chun Chien, Florian Lonsing, Samantha Archer, Ahmed Irfan, Clark Barrett
DOI: 10.5281/zenodo.18680797
Cited by: 1

Abstract

This artifact provides a reproduction package for the paper "Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness," accepted at FM 2026. It includes executables of the evaluated model checkers (Pono, AVR, and rIC3), the benchmarking environment and configuration, processing scripts, and the experimental results. Detailed instructions guide users through setting up the environment, running the model checkers on the benchmark tasks, and examining the results.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
12 March 2026