Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Using McErlang to verify an Erlang process supervision component
Year:2010
Research Areas
  • Information technology and adata processing
Information
Abstract
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.
International
Si
Congress
Trends in Functional Programming 2010
960
Place
Oklahoma, USA
Reviewers
Si
ISBN/ISSN
1571-0661
Start Date
17/05/2010
End Date
19/05/2010
From page
23
To page
40
Trends in Functional Programming 2010
Participants
  • 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)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: BABEL: Desarrollo de Software Fiable y de Alta Calidad a partir de Tecnología Declarativa
S2i 2019 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)