Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Recent Improvements to the McErlang Model Checker
Year:2009
Research Areas
  • Programming language
Information
Abstract
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.
International
Si
Congress
Eighth ACM SIGPLAN Erlang Workshop
960
Place
Edinburgh, Scotland
Reviewers
Si
ISBN/ISSN
978-1-60558-507-9
Start Date
05/09/2009
End Date
05/09/2009
From page
93
To page
100
ACM Sigplan International Erlang Workshop
Participants
  • Autor: Lars-Ake Fredlund (UPM)
  • Autor: Clara Benac Earle (UPM)
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
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
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)