Recent improvements to the McErlang model checker.

Clara Benac Earle Lars-Åke Fredlund

Published in: Erlang Workshop (2009)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
formal specification
test suite
symbolic model checking
set theory
data mining
image analysis
ai planning
optimal solution
data analysis
object oriented