Barrett: Pono: A Flexible and Extensible SMT-Based Model Checker. CAV 2021. Evaluated software artifact. Pono was awarded the Oski Award under its original name cosa2 at HWMCC'19 for solving the ...