Checking verifications of protocols and distributed systems by computer
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 629-655
- https://doi.org/10.1007/bfb0055652
Abstract
No abstract availableKeywords
This publication has 47 references indexed in Scilit:
- Concurrent Timestamping made simplePublished by Springer Nature ,2006
- A mechanical proof of Segall's PIF algorithmFormal Aspects of Computing, 1997
- Formalizing process algebraic verifications in the calculus of constructionsFormal Aspects of Computing, 1997
- Verification of distributed real-time and fault-tolerant protocolsPublished by Springer Nature ,1997
- Verifying hybrid systems modeled as timed automata: A case studyPublished by Springer Nature ,1997
- Assertional specification and verification using PVS of the steam boiler control systemPublished by Springer Nature ,1996
- Proving safety properties of the steam boiler controllerPublished by Springer Nature ,1996
- A bounded retransmission protocol for large data packetsPublished by Springer Nature ,1996
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocolFormal Aspects of Computing, 1994
- Forward and backward simulations for timing-based systemsPublished by Springer Nature ,1992