Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
A Case Study on Verifying a Supervisor Component Using McErlang
Year:2011
Research Areas
  • Information technology and adata processing,
  • Programming language
Information
Abstract
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.
International
Si
JCR
No
Title
Electronic Notes in Theoretical Computer Science
ISBN
1571-0661
Impact factor JCR
0
Impact info
Volume
Journal number
From page
23
To page
40
Month
SIN MES
Ranking
Participants
  • 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)
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)