Login / Signup

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker.

Serge HaddadJean-Michel IliéKais Klai
Published in: ATVA (2004)
Keyphrases
  • model checker
  • formal methods
  • model checking
  • formal verification
  • building blocks
  • temporal logic
  • data mining
  • case study
  • data analysis
  • design process