Verifying Erlang code: A resource locker case-study

DOI10.1007/3-540-45614-7_11MaRDI QIDQ4808829zbMATH OpenFDO

Authors Thomas Arts, John Derrick, Clara Benac Earle

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2391/23910184.htm

zbMATH Keywords

Erlangformal verificationModel checkingprocess algebratelecommunication

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Verification of Erlang programs using abstract interpretation and model checking
• Abstraction and model checking of core Erlang programs in Maude
• Verifying generic Erlang client-server implementations
• Verification of Erlang processes by dependency pairs
• Computer Aided Systems Theory – EUROCAST 2005

Cited in

(8)

• Verification of parametric concurrent systems with prioritised FIFO resource management
• Verifying generic Erlang client-server implementations
• Verification of Erlang programs using abstract interpretation and model checking
• Model checking Erlang programs -- abstracting recursive function calls
• Abstraction and model checking of core Erlang programs in Maude
• State space reduction of linear processes using control flow reconstruction
• Equational abstractions for reducing the state space of rewrite theories
• Computer Aided Systems Theory – EUROCAST 2005

Describes a project that uses

Uses Software

• Erlang

This page was built for publication: Verifying Erlang code: A resource locker case-study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4808829)