A Distributed CTL Model Checker.

Laura Florentina Stoica Florian Mircea Boian Florin Stoica

Published in: DCNET/ICE-B/OPTICS (2013)

Keyphrases

model checking
model checker
temporal logic
formal verification
symbolic model checking
formal specification
formal methods
epistemic logic
distributed systems
transition systems
description language
concurrent systems
fuzzy sets
inference rules