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

68N18: Functional programming and lambda calculus

68Q60: Specification and verification (program logics, model checking, etc.)

Uses Software

• Erlang
• Java PathFinder
• evt