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
8 Stenning’s protocol implemented in UDP and verified in Isabelle – Michael Compton - 2005
16 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
1 On Temporal Logic versus Datalog – Irene Guessarian, Eugenie Foustoukos, Theodore Andronikos, Foto Afrati - 2003
3 μ-Calculus with Explicit Points and Approximations – Mads Dam, Dilian Gurov - 1999
1 Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes – Ulrich Schöpp, Alex Simpson - 2002
2 µ-Calculus with Explicit Points and Approximations – Mads Dam, Dilian Gurov - 2000
8 Compositional Verification of CCS Processes – Mads Dam, Dilian Gurov - 1999
57 Coinductive Axiomatization of Recursive Type Equality and Subtyping – Michael Brandt, H. J. Holst Vej -a, Fritz Henglein - 1998
1 Mixing Induction and Coinduction – Nils Anders Danielsson, Thorsten Altenkirch - 2009
5 Robust Satisfaction – Orna Kupferman, Moshe Y. Vardi - 1999
1 Evidence-Based Verification – Li Tan, Li Tan, Li Tan - 2002
2 Formal Verification of Processes – Ulrich Schöpp - 2001
2 Unit Verification: The CARA Experience – Arnab Ray, Rance Cleaveland - 2004
6 Metric semantics for reactive probabilistic processes – Gethin Josiah Norman - 1997