Login / Signup
On Incremental Satisfiability and Bounded Model Checking.
Siert Wieringa
Published in:
DIFTS@FMCAD (2011)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
incremental learning
satisfiability problem
formal specification