College of Engineering >
Computer Science >
Computer Science Technical Reports >
Please use this identifier to cite or link to this item:
|Title: ||Trace-Based Network Proof Systems: Expressiveness and Completeness|
|Authors: ||Widom, Jennifer|
Schneider, Fred B.
|Keywords: ||computer science|
|Issue Date: ||Feb-1989|
|Publisher: ||Cornell University|
|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.|
|Appears in Collections:||Computer Science Technical Reports|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.