Stephan Kleuker
-
Verification of Safety Properties Using IntegerProgramming: Beyond the State Equation
Formal Methods in System Design