Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
A proof environment for the development of group communication systems

A proof environment for the development of group communication systems

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1421/1998
BookAutomated Deduction — CADE-15
DOI10.1007/BFb0054239
Copyright1998
ISBN978-3-540-64675-4
DOI10.1007/BFb0054269
Pages317-332
Subject CollectionComputer Science
SpringerLink DateThursday, June 08, 2006
Add to marked items

A proof environment for the development of group communication systems

Christoph Kreitz1 Contact Information, Mark Hayden1 Contact Information and Jason Hickey1 Contact Information

(1)  Department of Computer Science, Cornell University, 14853-7501 Ithaca, NY, USA
Abstract
We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction applicable to the implementation of real-world systems by linking the Ensemble group communication toolkit to the NuPRL proof development system.
We present tools for importing Ensemble's code into NuPRL and exporting it back into the programming environment. We discuss techniques for reasoning about critical properties of Ensemble as well as verified strategies for reconfiguring the Ensemble system in order to improve its performance in concrete applications.

Contact Information Christoph Kreitz
Email: kreitz@cs.cornell.edu

Contact Information Mark Hayden
Email: hayden@cs.cornell.edu

Contact Information Jason Hickey
Email: jyh@cs.cornell.edu
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.105 • Server: MPWEB25
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)