A modular approach to formal specification and verification of dependable distributed protocols
Dependable distributed system typically utilize a hierarchy of protocols to provide for reliable and timely services. Such protocols have both dependability and real-time attributes, and the analysis of these protocols is a problem of growing complexity. The development of precise and accurate forma...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
2002
|
| Online Access: | http://spectrum.library.concordia.ca/1870/1/MQ72914.pdf Ren, Da Qi <http://spectrum.library.concordia.ca/view/creators/Ren=3ADa_Qi=3A=3A.html> (2002) A modular approach to formal specification and verification of dependable distributed protocols. Masters thesis, Concordia University. |