Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Recent Improvements to the McErlang Model Checker
Año:2009
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
In this paper we describe a number of recent improvements to the McErlang model checker, including a new source to source translation to enable more Erlang programs to work under McErlang, a methodology for writing properties that can be verified by McErlang, and a combination of simulation and model checking. The latter two features are illustrated by means of the messenger example found in the documentation of the Erlang/OTP distribution.
Internacional
Si
Nombre congreso
Eighth ACM SIGPLAN Erlang Workshop
Tipo de participación
960
Lugar del congreso
Edinburgh, Scotland
Revisores
Si
ISBN o ISSN
978-1-60558-507-9
DOI
Fecha inicio congreso
05/09/2009
Fecha fin congreso
05/09/2009
Desde la página
93
Hasta la página
100
Título de las actas
ACM Sigplan International Erlang Workshop
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Clara Benac Earle (UPM)
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
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
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)