Model Checking Erlang Programs – Abstracting Recursive Function Calls

DOI10.1016/S1571-0661(04)80351-7zbMath1268.68112MaRDI QIDQ2841292

Frank Huch

Publication date: 24 July 2013

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

Mathematics Subject Classification ID

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

Related Items (1)

Model Checking Erlang Programs – Abstracting Recursive Function Calls

Uses Software

• Erlang
• Java PathFinder
• evt

Cites Work

• A syntactic theory of sequential control
• Verification of Erlang programs using abstract interpretation and model checking
• Model Checking Erlang Programs – Abstracting Recursive Function Calls
• Systematic design of program transformation frameworks by abstract interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Model Checking Erlang Programs – Abstracting Recursive Function Calls