Willem Otto David Griffioen  Home/Search
Context
Related
| cs.kun.nl/aioinfo...iffioenThesis.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.kun.nl/aioin...DavidGriffioen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this chapter we report on the use of the Larch Prover to mechanize the correctness proof of the audio control protocol as presented in [BPV94]. (Update)
Similar documents based on text: More All
0.3: Algebras and Automata for Timed and Stochastic Systems - D'Argenio (Correct)
0.2: Alea jacta est - Verification of Probabilistic, Real-Time and.. - Stoelinga (2002) (Correct)
0.2: A Computer Architecture Workbench - Pimentel (1998) (Correct)
BibTeX entry: (Update)
@phdthesis{ griffioen00studies,
author = "W. O. D. Griffioen",
title = "Studies in Computer Aided Verification of Protocols",
year = "2000",
url = "citeseer.ist.psu.edu/griffioen00studies.html" }
Citations (may not include all citations):447 Prentice-Hall International (context) - Milner, Concurrency - 1989
404 Symbolic Model Checking for Real-Time Systems - Henzinger, Nicollin et al. - 1994
293 Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987
274 The existence of refinement mappings - Abadi, Lamport - 1991
270 Formal verification for fault-tolerant architectures: Proleg.. - Owre, Rushby et al. - 1995
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
266 Cambridge Tracts in Theoretical Computer Science (context) - Baeten, Weijland - 1990
250 volume 1 of The Art of Computer Programming (context) - Knuth - 1997
232 The concurrency workbench: A semantics based tool for the ve.. - Cleaveland, Parrow et al. - 1993
227 Formal Methods: State of the Art and Future Directions - Clarke, Wing - 1996
214 An old-fashioned recipe for real time - Abadi, Lamport - 1992
208 An axiomatic proof technique for parallel programs (context) - Owicki, Gries - 1976
190 How to make ad-hoc polymorphism less ad hoc - Wadler, Blott - 1989
157 Edinburgh LCF: A Mechanised Logic of Computation (context) - Gordon, Milner et al. - 1979
145 Isabelle: The next 700 theorem provers (context) - Paulson - 1990
[Article contains additional citations not shown here]
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC