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