search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

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