Ymer: A Statistical Model Checker.

Håkan L. S. Younes

Published in: CAV (2005)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
test suite
symbolic model checking
ai planning
set theory
relational databases
data mining
web services
domain independent
specification language