FlyFast: A Mean Field Model Checker.

Diego Latella Michele Loreti Mieke Massink

Published in: TACAS (2) (2017)

Keyphrases

model checker
model checking
formal verification
formal methods
description language
temporal logic
formal specification
set theory
test suite
symbolic model checking
ai planning
specification language
artificial intelligence
planning domains
test cases
software engineering
binary decision diagrams
web services