Login / Signup

VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems.

Koushik SenMahesh ViswanathanGul A. Agha
Published in: QEST (2005)
Keyphrases
  • formal methods
  • model checker
  • genetic algorithm
  • expert systems
  • model checking
  • general purpose
  • orders of magnitude
  • first order logic
  • description language