Login / Signup
Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm.
Kazuhiro Ogata
Kokichi Futatsugi
Published in:
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2007)
Keyphrases
</>
model checking
case study
verification method
dynamic programming
finite state
temporal logic
deterministic finite automaton
computational complexity
np hard
formal specification
concurrent systems
reachability analysis
partial order reduction