Equational abstractions for model checking Erlang programs

zbMATH Open1272.68108MaRDI QIDQ2849558FDOQ2849558

Authors: Thomas Noll 

Publication date: 20 September 2013

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

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

Mathematics Subject Classification ID

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

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

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)