Descripción
|
|
---|---|
In this paper we describe a number of recent improvements to the McErlang model checker, including a new source to source translation to enable more Erlang programs to work under McErlang, a methodology for writing properties that can be verified by McErlang, and a combination of simulation and model checking. The latter two features are illustrated by means of the messenger example found in the documentation of the Erlang/OTP distribution. | |
Internacional
|
Si |
Nombre congreso
|
Eighth ACM SIGPLAN Erlang Workshop |
Tipo de participación
|
960 |
Lugar del congreso
|
Edinburgh, Scotland |
Revisores
|
Si |
ISBN o ISSN
|
978-1-60558-507-9 |
DOI
|
|
Fecha inicio congreso
|
05/09/2009 |
Fecha fin congreso
|
05/09/2009 |
Desde la página
|
93 |
Hasta la página
|
100 |
Título de las actas
|
ACM Sigplan International Erlang Workshop |