The Erlang Verification Tool
Abstract elided by the publisher.
Related papers
- Verification of Erlang Programs using Abstract Interpretation and Model Mhecking ICFP 1999
- Automatic Verification of Erlang-Style Concurrency SAS 2013
- Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform TOPLAS 2017
- McErlang: a model checker for a distributed functional programming language ICFP 2007
- Finding race conditions in Erlang with QuickCheck and PULSE ICFP 2009
- Set-Theoretic Types for Erlang in Practice (Experience Report) ICFP 2026
- Erlang - Software for a Concurrent World ECOOP 2007
- Computation semantics of the functional scientific workflow language Cuneiform JFP 2017