Experience with applying formal methods to protocol specification and system architecture

DOI10.1023/A:1022965204416zbMath1020.68008OpenAlexW1988520356MaRDI QIDQ1870218

Phamndra K. Mannava, Seung Joon Park, Akhilesh Kumar, Victor W. Lee, Ching-Tsun Chou, Mani Azimi

Publication date: 11 May 2003

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1022965204416

zbMATH Keywords

formal verificationcache coherence protocolsfault-tolerant link initializationminimal deadlock-free wormhole routing schemesrule-based checking of tablessliding window protocols

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Network protocols (68M12)

This page was built for publication: Experience with applying formal methods to protocol specification and system architecture