Soter: an automatic safety verifier for erlang
Main Authors: | D'Osualdo, E, Kochems, J, Ong, L |
---|---|
Format: | Conference item |
Published: |
ACM
2012
|
Similar Items
-
Soter: an Automatic Safety Verifier for Erlang
by: D'Osualdo, E, et al.
Published: (2012) -
Automatic Verification of Erlang−Style Concurrency
by: D'Osualdo, E, et al.
Published: (2013) -
Automatic Verification of Erlang−Style Concurrency
by: D’Osualdo, E, et al.
Published: (2013) -
Automatic Verification of Erlang−Style Concurrency
by: D'Osualdo, E, et al.
Published: (2013) -
On hierarchical communication topologies in the pi-calculus
by: Ong, C, et al.
Published: (2016)