Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems.

Stefan Leue Wei Wei

Published in: IEEE Trans. Software Eng. (2013)

Keyphrases

integer linear programming
reactive systems
state machines
column generation
model checking
petri net
temporal logic
information flow
boolean satisfiability
control flow
global constraints
real time systems
cutting plane
formal methods
boolean optimization