AMC: An Adaptive Model Checker.

Alex Groce Doron A. Peled Mihalis Yannakakis

Published in: CAV (2002)

Keyphrases

model checker
model checking
formal methods
formal verification
temporal logic
description language
formal specification
test suite
symbolic model checking
set theory
specification language
ai planning
object oriented
web services
expert systems