ProbDiVinE: A Parallel Qualitative LTL Model Checker.

Jiri Barnat Lubos Brim Ivana Cerná Milan Ceska Jana Tumova

Published in: QEST (2007)

Keyphrases

model checking
model checker
temporal logic
formal verification
formal methods
formal specification
transition systems
symbolic model checking
modal logic
description language
concurrent systems
orders of magnitude
test suite
set theory
fuzzy logic
boolean functions