Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
A Case Study on Verifying a Supervisor Component Using McErlang
Año:2011
Áreas de investigación
  • Ciencias de la computación y tecnología informática,
  • Lenguaje de programación
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Clara Benac Earle (UPM)
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: David Castro (Universidad de A Coruña)
  • Autor: Víctor Gulías (Universidad de A Coruña)
  • Autor: Samuel Rivas (LambdaStream SL)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)