Conference item icon

Conference item

Soter: an Automatic Safety Verifier for Erlang

Abstract:
This paper presents Soter, a fully-automatic program analyser and verifier for Erlang modules. The fragment of Erlang accepted by Soter includes the higher-order functional constructs and all the key features of actor concurrency, namely, dynamic spawning of processes and asynchronous message passing. Soter uses a combination of static analysis and infinite-state model checking to verify safety properties specified by the user. Given an Erlang module and a set of properties, So

Actions


Authors


Emanuele D'Osualdo More by this author
Jonathan Kochems More by this author
Publisher:
ACM
Publication date:
2012
URN:
uuid:a1ae9bd0-b563-4592-b4e4-6a940f28692b
Local pid:
cs:6482

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP