Login / Signup

Improving and Assessing the Efficiency of the MC4CSLTA Model Checker.

Elvio Gilberto AmparoreSusanna Donatelli
Published in: EPEW (2013)
Keyphrases
  • model checker
  • model checking
  • formal methods
  • formal verification
  • temporal logic
  • description language
  • formal specification
  • genetic algorithm
  • orders of magnitude
  • ai planning
  • symbolic model checking