MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Proving Hybrid Protocols Correct." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Proving hybrid ¡ protocols correct
by Mark Bickford, Christoph Kreitz, Robbert Van Renesse, Xiaoming Liu — 2001 — In R. Boulton and P. 14 Jackson (Eds.), International Conference on Theorem Proving in Higher Order Logics, Volume 2152 of Lecture Notes in Computer Science
…Proving Hybrid Protocols Correct Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming…
Cited by 1 (1 self) – Add To MetaCart

Formally verifying hybrid protocols with the Nuprl logical programming environment
by Mark Bickford, Christoph Kreitz, Robbert Van Renesse — 2001
… of hybrid protocols and prove it correct with the Nuprl proof development system. We introduce the concept…
Cited by 3 (2 self) – Add To MetaCart

An experiment in formal design using meta-properties
by Mark Bickford, Christoph Kreitz, Robbert Van Renesse, Robert Constable — 2001 — In Proc. DISCEX-II ’01: The 2nd DARPA Information Survivability Conference and Exposition. IEEE
….4. Proving hybrid protocols correct Using the NUPRL theorem prover [1] we have shown that switching protocols…
Cited by 5 (2 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB