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, currently employed at the company LambdaStream, was checked against several safety and liveness properties. | |
Internacional
|
Si |
JCR del ISI
|
No |
Título de la revista
|
Electronic Notes in Theoretical Computer Science |
ISSN
|
1571-0661 |
Factor de impacto JCR
|
0 |
Información de impacto
|
|
Volumen
|
|
DOI
|
|
Número de revista
|
|
Desde la página
|
23 |
Hasta la página
|
40 |
Mes
|
SIN MES |
Ranking
|