-
Constraint-Based BMC: A Backjumping Strategy
Safety property checking is mandatory in the validation process of critical software. When formal verification tools fail to prove some properties, the automatic... -
Parity and Streett Games with Costs
A preliminary version of this work appeared in FSTTCS 2012 under the name ''Cost-parity and Cost-Streett Games''. The research leading to these results has received funding from...
