An exercise in verifying concurrent programs in industry: the I/O subsystem
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 325-331
- https://doi.org/10.1109/pccc.1991.113829
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Program verification: the very ideaCommunications of the ACM, 1988
- The formal specification and design of a distributed electronic funds-transfer systemIEEE Transactions on Computers, 1988
- Social processes and proofs of theorems and programsCommunications of the ACM, 1979