PuMoC: a CTL model-checker for sequential programs.

Fu Song Tayssir Touili

Published in: ASE (2012)

Keyphrases

model checking
model checker
temporal logic
formal verification
symbolic model checking
formal specification
formal methods
epistemic logic
transition systems
description language
test suite
data mining
set theory
belief revision
domain independent
search space
multi agent systems