ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems.

Jiri Barnat Lubos Brim Ivana Cerná Milan Ceska Jana Tumova

Published in: QEST (2008)

Keyphrases

model checking
temporal logic
model checker
formal methods
distributed systems
general purpose
artificial intelligence
expert systems
rough set theory
description language
formal verification