Verification of Erlang programs using abstract interpretation and model checking

DOI10.1145/317636.317908zbMath1345.68060OpenAlexW2057663649MaRDI QIDQ2817727

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 checkingdistributed systemErlangabstract interpretation

Mathematics Subject Classification ID

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

Related Items (4)

Towards Erlang Verification by Term Rewriting ⋮ Declarative debugging of concurrent Erlang programs ⋮ Model Checking Erlang Programs – Abstracting Recursive Function Calls ⋮ A core Erlang semantics for declarative debugging

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