DiVinE Multi-Core - A Parallel LTL Model-Checker.

Jiri Barnat Lubos Brim Petr Rockai

Published in: ATVA (2008)

Keyphrases

model checking
model checker
temporal logic
formal verification
transition systems
formal specification
formal methods
symbolic model checking
concurrent systems
description language
modal logic
ai planning
data mining
specification language
reverse engineering
fuzzy sets
relational databases
genetic algorithm