Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/6882
Title: Trace-Based Network Proof Systems: Expressiveness and Completeness
Authors: Widom, Jennifer
Gries, David
Schneider, Fred B.
Keywords: computer science
technical report
Issue Date: Feb-1989
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR89-966
Abstract: We consider incomplete trace-based network proof systems for safety properties, identifying extensions that are necessary and sufficient to achieve relative completeness. We then consider the expressiveness required of any trace logic that encodes these extensions.
URI: http://hdl.handle.net/1813/6882
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
89-966.pdf2.83 MBAdobe PDFView/Open
89-966.ps690.38 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us