Verification of Erlang programs using abstract interpretation and model checking

DOI10.1145/317636.317908MaRDI QIDQ2817727zbMATH OpenOpenAlexFDO

Authors Frank Huch

Publication date 1 September 2016

Published in Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL http://publications.rwth-aachen.de/record/59420/files/02_170.pdf

zbMATH Keywords

verificationmodel checkingabstract interpretationdistributed systemErlang

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Functional programming and lambda calculus (68N18)

Recommendations

• Model checking Erlang programs -- abstracting recursive function calls
• Abstraction and model checking of core Erlang programs in Maude
• Equational abstractions for model checking Erlang programs
• Towards Erlang verification by term rewriting
• scientific article; zbMATH DE number 2090137

Cited in

(10)

• Towards Erlang verification by term rewriting
• Declarative debugging of concurrent Erlang programs
• Computer Aided Systems Theory – EUROCAST 2005
• A core Erlang semantics for declarative debugging
• Abstraction and model checking of core Erlang programs in Maude
• Verification of Erlang processes by dependency pairs
• scientific article; zbMATH DE number 1691455 (Why is no real title available?)
• Model checking Erlang programs -- abstracting recursive function calls
• Equational abstractions for model checking Erlang programs
• scientific article; zbMATH DE number 2090137 (Why is no real title available?)

This page was built for publication: Verification of Erlang programs using abstract interpretation and model checking

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