Descripción
|
|
---|---|
We present a case-study in which a tool for model checking programs written in Erlang, McErlang, was used to verify a complex concurrent component. The component is an alternative implementation of the standard supervisor behaviour of Erlang/OTP. This implementation, in use at the company LambdaStream, was checked against several safety and liveness properties. In one case, McErlang found an error. | |
Internacional
|
Si |
Nombre congreso
|
Trends in Functional Programming 2010 |
Tipo de participación
|
960 |
Lugar del congreso
|
Oklahoma, USA |
Revisores
|
Si |
ISBN o ISSN
|
1571-0661 |
DOI
|
|
Fecha inicio congreso
|
17/05/2010 |
Fecha fin congreso
|
19/05/2010 |
Desde la página
|
23 |
Hasta la página
|
40 |
Título de las actas
|
Trends in Functional Programming 2010 |