A Framework for Formal Reasoning about Open Distributed Systems (1999)

Cached

Download Links

by Lars-Ake Fredlund , Dilian Gurov
Venue:In Proc. ASIAN'99, Lecture Notes in Computer Science
Citations:4 - 3 self

Active Bibliography

4 Verifying Generic Erlang Client-Server Implementations – Thomas Arts, Computer Science Lab, Thomas Noll - 2000
5 Semi-Automated Verification of Erlang Code – Lars-Åke Fredlund, Lars- Ake, Dilian Gurov, Thomas Noll - 2001
3 A Tool for Verifying Software Written in Erlang – Thomas Arts, Gennady Chugunov, Mads Dam, Lars-Åke Fredlund, Dilian Gurov, Thomas Noll - 2000
1 Symbolic Program Execution using the Erlang Verification Tool – Clara Benac Earle - 2000
9 Stenning’s protocol implemented in UDP and verified in Isabelle – Michael Compton - 2005
19 Higher Order Logic – Daniel Leivant - 1994
Acknowledgments – The Development And, Ursula Lindenberg, Joachim Frank, Maria Kolb, Natalia Lazareva, Rainer Tannenberger, Sylvia Hordosch, Evelyn Watson, Milos Uveric-kostic, Agnes Horváthová, Liz Bonkowsky, Jim Merz, Anastasia Posadskaya-v, Raikhan Sabirova, Mplus. Com, Monica Tatoiu, Adriana Zaharia, Emily Martinez, Jim Goldston, We Melissa Stone, Aaron Rhodes - 2000
2 On Temporal Logic versus Datalog – Irene Guessarian, Eugenie Foustoukos, Theodore Andronikos, Foto Afrati - 2003
13 A zero-one law for logic with a fixed-point operator – Andreas Blass, Yuri Gurevich
3 μ-Calculus with Explicit Points and Approximations – Mads Dam, Dilian Gurov - 1999
8 Compositional Verification of CCS Processes – Mads Dam, Dilian Gurov - 1999
2 Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes – Ulrich Schöpp, Alex Simpson - 2002
3 µ-Calculus with Explicit Points and Approximations – Mads Dam, Dilian Gurov - 2000
2 Mixing Induction and Coinduction – Nils Anders Danielsson, Thorsten Altenkirch - 2009
1 Evidence-Based Verification – Li Tan, Li Tan, Li Tan - 2002
2 Formal Verification of Processes – Ulrich Schöpp - 2001
6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997
34 A Tool for Symbolic Program Verification and Abstraction – Susanne Graf, Claire Loiseaux - 1993
11 IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems – Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-pierre Krimm, Laurent Mounier - 1999