|
Descripción
|
|
|---|---|
| In this paper we present a work in progress on the formal verification of a process supervisor using the McErlang model checker. The process supervisor 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. | |
|
Internacional
|
No |
|
Nombre congreso
|
PROLE 2010. Jornadas sobre Programación y Lenguajes |
|
Tipo de participación
|
960 |
|
Lugar del congreso
|
Spain |
|
Revisores
|
Si |
|
ISBN o ISSN
|
978-84-92812-55-4 |
|
DOI
|
|
|
Fecha inicio congreso
|
08/09/2010 |
|
Fecha fin congreso
|
10/09/2010 |
|
Desde la página
|
0 |
|
Hasta la página
|
0 |
|
Título de las actas
|
A verification of a process supervisor with McErlang |