Trace-Based Network Proof Systems: Expressiveness and Completeness

Abstract

Consider incomplete trace-based network proof systems for safety properties, identifying extensions that are necessary and sufficient to achieve relative completeness. Then consider the expressiveness required of any trace logic that encodes these extensions.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 14, 1989
Accession Number
ADA204828

Entities

People

  • David Gries
  • Fred B. Schneider
  • Jennifer Widom

Organizations

  • Cornell University

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Availability
  • Classification
  • Communication Channels
  • Computer Programming
  • Computer Science
  • Computers
  • Contracts
  • Hierarchies
  • Language
  • Military Research
  • Notation
  • Semantics
  • Specifications
  • Standards
  • Theoretical Computer Science
  • Universities

Fields of Study

  • Computer science

Readers

  • Neural Network Machine Learning.
  • Software Engineering