|
3
|
A Tool for Verifying Software Written in Erlang
– Thomas Arts, Gennady Chugunov, Mads Dam, Lars-Åke Fredlund, Dilian Gurov, Thomas Noll
- 2000
|
|
1
|
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
|
|
2
|
µ-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
|
|
8
|
Sequent Calculi for Process Verification: Hennessy-Milner Logic for an Arbitrary GSOS
– Alex Simpson
- 2003
|
|
8
|
Stenning’s protocol implemented in UDP and verified in Isabelle
– Michael Compton
- 2005
|
|
2
|
Formal Verification of Processes
– Ulrich Schöpp
- 2001
|
|
16
|
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus
– Christoph Sprenger, Mads Dam
- 2003
|
|
7
|
A Note on Global Induction Mechanisms in a µ-Calculus with Explicit Approximations
– Christoph Sprenger, Mads Dam
- 1999
|
|
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
|
|
1
|
Distributed Symbolic Model Checking for μ-calculus
– Orna Grumberg, Tamir Heyman, Assaf Schuster
- 2001
|
