Grand Theft Auto V (GTA V) is a well-liked open-world action-adventure video game that provides players with a massive world to explore and countless tasks to finish. One of the most exhilarating ...

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 ...