|
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 |