Login / Signup
Selecting critical implications with set-covering formulation for SAT-based Bounded Model Checking.
Mahmoud Elbayoumi
Michael S. Hsiao
Mustafa Y. ElNainay
Published in:
ICCD (2013)
Keyphrases
</>
bounded model checking
set covering
model checking
formal verification
set covering problem
integer program
temporal logic
integer programming
linear temporal logic
multi agent systems
column generation
hypergraph model
crew pairing
genetic algorithm
combinatorial auctions