Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang.

Qiang Guo John Derrick Clara Benac Earle Lars-Åke Fredlund

Published in: TAIC PART (2010)

Keyphrases

model checking
temporal logic
temporal properties
automated verification
symbolic model checking
formal verification
partial order reduction

model checker
finite state
verification method
formal specification
finite state machines
bounded model checking
computation tree logic

reactive systems
timed automata
transition systems
reachability analysis
epistemic logic
pspace complete

formal methods
concurrent systems
linear temporal logic
process algebra
asynchronous circuits
markov decision processes