Sign in

ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.

Jiri BarnatLubos BrimIvana CernáMilan CeskaJana Tumova
Published in: QEST (2008)
Keyphrases
  • model checking
  • temporal logic
  • model checker
  • formal methods
  • distributed systems
  • general purpose
  • artificial intelligence
  • expert systems
  • rough set theory
  • description language
  • formal verification