PV: An Explicit Enumeration Model-Checker.

Ratan Nalumasu Ganesh Gopalakrishnan

Published in: FMCAD (1998)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
symbolic model checking
formal specification
test suite
set theory
ai planning
search space
rough sets
software engineering
specification language
dynamic programming
genetic algorithm