Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Using McErlang to verify an Erlang process supervision component
Año:2010
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: David Castro (MADS Group, Computer Science Department. University of A Coruña, Spain)
  • Autor: Clara Benac Earle (UPM)
  • Autor: Víctor M. Gulias (MADS Group, Computer Science Department. University of A Coruña, Spain)
  • Autor: Samuel Rivas (LambdaStream Servicios Interactivos S.L. Ronda de Outeiro 33 Entlo., A Coruña, Spain)
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)