Abstraction and Model Checking of Core Erlang Programs in Maude | Zendy

Martin R. Neuhäußer | Zendy; Thomas Noll | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Abstraction and Model Checking of Core Erlang Programs in Maude

Author(s) -

Martin R. Neuhäußer,

Thomas Noll

Publication year - 2007

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2007.06.013

Subject(s) - erlang (programming language) , computer science , programming language , rewriting , sketch , model checking , functional programming , abstraction model checking , abstraction , theoretical computer science , algorithm , philosophy , epistemology

This paper provides a contribution to the formal verification of programs written in the concurrent functional programming language Erlang, which is designed for telecommunication applications. We present a formalization of this language in the Rewriting Logic framework, employing equations for defining abstraction mappings on the state space of the system. Moreover we give a sketch of an implementation in the Maude system, and demonstrate the use of its model checker to verify simple system properties

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research