NASA NTRS · 19940017243
A mechanized process algebra for verification of device synchronization protocols
Abstract
We 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.
Keep this discovery
Explore connections, maps & timelines
Schubert, E. Thomas. 1992-01-01. A mechanized process algebra for verification of device synchronization protocols. https://ntrs.nasa.gov/citations/19940017243
Cite the original work for its findings. Save a collection to share your selection of sources.