Merit: An Interpolating Model-Checker.

Nicolas Caniart

Published in: CAV (2010)

Keyphrases

model checker
model checking
formal verification
temporal logic
formal methods
description language
formal specification
test suite
set theory
symbolic model checking
ai planning
specification language
planning domains
test cases
web services
data mining
rough set theory
knowledge based systems
genetic algorithm