NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
A mechanized process algebra for verification of device synchronization protocolsWe describe the formalization of a process algebra based on CCS within the Higher Order Logic (HOL) theorem-proving system. The representation of four types of device interactions and a correctness proof of the communication between a microprocessor and MMU is presented.
Document ID
19940017243
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Schubert, E. Thomas (California Univ. Davis, CA, United States)
Date Acquired
September 6, 2013
Publication Date
January 1, 1992
Publication Information
Publication: Idaho Univ., The 1992 4th NASA SERC Symposium on VLSI Design
Subject Category
Computer Programming And Software
Accession Number
94N21716
Funding Number(s)
CONTRACT_GRANT: NAS1-18586
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

IDRelationTitle19940016850Collected WorksNetworks Technology Conference
No Preview Available