Sciweavers

ERLANG
2006
ACM

Model checking erlang programs: the functional approach

13 years 9 months ago
Model checking erlang programs: the functional approach
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The implementation language offers several advantages: checkable programs use “almost” normal Erlang, correctness properties are formulated in Erlang itself instead of a temporal logic, and it is easier to properly diagnose program bugs discovered by the model checker. In addition the model checker can easily be modified, thanks largely to the use of Erlang. The drawback of writing the model checker in Erlang is, potentially, severely reduced performance compared with model checking tools programmed in programming languages which permit destructive updates of data structures. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification General Terms Verification Keywords Code Verification, Concurrency
Lars-Åke Fredlund, Clara Benac Earle
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where ERLANG
Authors Lars-Åke Fredlund, Clara Benac Earle
Comments (0)