Login / Signup
3-Valued Abstraction for (Bounded) Model Checking.
Orna Grumberg
Published in:
ATVA (2009)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
data sets
knowledge base
multi agent
multi valued
model checker