Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
A verification of a process supervisor with McErlang
Year:2010
Research Areas
  • Information technology and adata processing
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, in use at the company LambdaStream, was checked against several safety and liveness properties.
International
No
Congress
PROLE 2010. Jornadas sobre Programación y Lenguajes
960
Place
Spain
Reviewers
Si
ISBN/ISSN
978-84-92812-55-4
Start Date
08/09/2010
End Date
10/09/2010
From page
0
To page
0
A verification of a process supervisor with McErlang
Participants
  • 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)
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)