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