Semi-Automated Verification of Erlang Code (2001)

Cached

Download Links

by Lars-Åke Fredlund , Dilian Gurov , Thomas Noll
Citations:5 - 1 self

Active Bibliography

3 A Tool for Verifying Software Written in Erlang – Thomas Arts, Gennady Chugunov, Mads Dam, Lars-Åke Fredlund, Dilian Gurov, Thomas Noll - 2000
2 Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes – Ulrich Schöpp, Alex Simpson - 2002
4 A Framework for Formal Reasoning about Open Distributed Systems – Lars-Ake Fredlund, Dilian Gurov - 1999
3 μ-Calculus with Explicit Points and Approximations – Mads Dam, Dilian Gurov - 1999
3 µ-Calculus with Explicit Points and Approximations – Mads Dam, Dilian Gurov - 2000
Functional Programming and Logic Decrease the Use of the Most Important Part of Our System – Thomas Arts - 2001
Formal Methods Research at SICS and KTH: An Overview – Mads Dam, Lars-Åke Fredlund, Dilian Gurov - 2003
1 A more accurate semantics for distributed Erlang – Hans Svensson - 2007
6 A semantics for distributed erlang – Koen Claessen - 2005
11 Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS – Alex Simpson - 2003
9 Stenning’s protocol implemented in UDP and verified in Isabelle – Michael Compton - 2005
2 Formal Verification of Processes – Ulrich Schöpp - 2001
8 A Note on Global Induction Mechanisms in a µ-Calculus with Explicit Approximations – Christoph Sprenger, Mads Dam - 1999
18 On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus – Christoph Sprenger, Mads Dam - 2003
1 Symbolic Program Execution using the Erlang Verification Tool – Clara Benac Earle - 2000
4 Verifying Generic Erlang Client-Server Implementations – Thomas Arts, Computer Science Lab, Thomas Noll - 2000
8 Compositional Verification of CCS Processes – Mads Dam, Dilian Gurov - 1999
Local Model Checking in Park's µ-Calculus – Alexander Kick - 1996
78 Model Checking for Context-Free Processes – Olaf Burkart, Bernhard Steffen - 1992