DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
ADA055516
Title:
A System for Incrementally Designing and Verifying Programs. Appendix -Volume 2
Descriptive Note:
Research rept.
Corporate Author:
UNIVERSITY OF SOUTHERN CALIFORNIA MARINA DEL REY INFORMATION SCIENCES INST
Report Date:
1978-01-01
Pagination or Media Count:
69.0
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
Distribution Statement:
APPROVED FOR PUBLIC RELEASE