|
18
|
Verifying a Distributed Database Lookup Manager Written in Erlang
– Thomas Arts, Mads Dam
- 1999
|
|
259
|
Results on the propositional _-calculus
– D Kozen
- 1983
|
|
19
|
Toward Parametric Verification of Open Distributed Systems
– Mads Dam, Lars-åke Fredlund, Dilian Gurov
- 1998
|
|
16
|
Proving Properties of Dynamic Process Networks
– Mads Dam
- 1998
|
|
6
|
A structural approach to operational semantics (Aarhus notes
– Gordon D Plotkin
- 1981
|
|
4
|
Towards a semantics for Erlang. Unpublished manuscript
– L-a Fredlund
- 1999
|
|
1221
|
An axiomatic basis for computer programming
– C. A. R. Hoare
- 1969
|
|
5
|
System description: Veri of distributed Erlang programs
– T Arts, M Dam, L-a Fredlund, D Gurov
- 1998
|
|
2
|
Veri of Erlang Programs: Factoring out the Side-eect-free Fragment
– D Gurov, G Chugunov
- 2000
|
|
8
|
Toward Parametric Veri of Open Distributed Systems
– A Fredlund, D Gurov
- 1998
|
|
20
|
Verification of Erlang programs using abstract interpretation and model checking
– F Huch
- 1999
|
|
19
|
A Framework for Reasoning about Erlang Code
– L Fredlund
- 2001
|
|
2
|
The EVT Erlang Verification Tool
– Thomas Noll, Lars-Åke Fredlund, Lars--ake Fredlund, Dilian Gurov
|
|
27
|
A note on model checking the modal - calculus
– G Winskel
- 1989
|
|
1
|
Verifying sequential Erlang programs
– G Chugunov, L-a Fredlund
- 2000
|
|
4
|
System Description: Verification of Distributed Erlang Programs
– Thomas Arts, Mads Dam, Lars-åke Fredlund, Dilian Gurov
- 1998
|
|
138
|
Semantics of Programming Languages
– C A Gunter
- 1993
|
|
12
|
Finiteness is mu-ineffable
– D M R Park
- 1974
|
|
3
|
Compositional veri of CCS processes
– M Dam, D Gurov
- 2000
|
