Equational abstractions for model checking Erlang programs

MaRDI QIDQ2849558zbMATH OpenFDO

Authors Thomas Noll

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104053290

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• Abstraction and model checking of core Erlang programs in Maude
• Equational abstractions for reducing the state space of rewrite theories
• Verification of Erlang programs using abstract interpretation and model checking
• Towards Erlang verification by term rewriting
• Model checking Erlang programs -- abstracting recursive function calls

Cited in

(11)

• Towards Erlang verification by term rewriting
• Verification of Erlang programs using abstract interpretation and model checking
• A formalisation of Core Erlang, a concurrent actor language
• Abstraction and model checking of core Erlang programs in Maude
• A proof assistant based formalisation of a subset of sequential core Erlang
• Verification of Erlang processes by dependency pairs
• Playing with bisimulation in Erlang
• Towards symbolic execution in Erlang
• Model checking Erlang programs -- abstracting recursive function calls
• The development of Erlang
• Equational abstractions for reducing the state space of rewrite theories

Describes a project that uses

Uses Software

• Erlang

This page was built for publication: Equational abstractions for model checking Erlang programs

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