Model checking Erlang programs -- abstracting recursive function calls

DOI10.1016/S1571-0661(04)80351-7MaRDI QIDQ2841292zbMATH OpenFDO

Authors Frank Huch

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80351-7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18)

Recommendations

• Verification of Erlang programs using abstract interpretation and model checking
• 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

Cites work

• scientific article; zbMATH DE number 1701781 (Why is no real title available?)
• scientific article; zbMATH DE number 576277 (Why is no real title available?)
• scientific article; zbMATH DE number 1064110 (Why is no real title available?)
• scientific article; zbMATH DE number 2090137 (Why is no real title available?)
• A syntactic theory of sequential control
• Model checking Erlang programs -- abstracting recursive function calls
• Systematic design of program transformation frameworks by abstract interpretation
• Verification of Erlang programs using abstract interpretation and model checking

Cited in

(4)

• Verification of Erlang programs using abstract interpretation and model checking
• Abstraction and model checking of core Erlang programs in Maude
• Model checking Erlang programs -- abstracting recursive function calls
• Equational abstractions for model checking Erlang programs

Describes a project that uses

Uses Software

• evt
• Java PathFinder
• Erlang

This page was built for publication: Model checking Erlang programs -- abstracting recursive function calls

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