As Mazda's C-segment car, the Mazda3 offers a sporty driving experience with either of its two body styles (sedan and four-door hatchback) and four engine choices. The Mazda3 will be redesigned ...

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