A System for Incrementally Designing and Verifying Programs. Appendix -Volume 2

Abstract

This appendix contains a transcript of a session with SID in which a simple message switching network that allows secure, asynchronous message transfer among a fixed number of users is incrementally developed. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1978
Accession Number
ADA055516

Entities

People

  • Mark S. Moriconi

Organizations

  • University of Southern California

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • California
  • Concrete
  • Demographic Cohorts
  • Governments
  • History
  • Hypotheses
  • Information Science
  • Iterations
  • Mathematics
  • Security
  • Sequences
  • Specifications
  • Switched Mode Power Supplies
  • Switching
  • Verification

Fields of Study

  • Computer science
  • Mathematics

Readers

  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Business Analytics
  • Computer Networking