Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
A verification of a process supervisor with McErlang
Año:2010
Áreas de investigación
  • Ciencias de la computación y tecnología informática
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, 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
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Clara Benac Earle (UPM)
  • Autor: David Castro (University of A Coruña)
  • Autor: Víctor M. Gulias (University of A Coruña)
  • Autor: Samuel Rivas (Lambda Stream S.L. 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)