Login / Signup

Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.

Wendy JohnstonKirsten WinterLionel van den BergPaul A. StrooperPeter J. Robinson
Published in: FM (2006)
Keyphrases
  • symbolic model checking
  • model checking
  • machine learning
  • formal verification
  • binary decision diagrams