Trace-Based Network Proof Systems: Expressiveness and Completeness
Widom, Jennifer; Gries, David; Schneider, Fred B.
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.
computer science; technical report
Previously Published As