Experience with applying formal methods to protocol specification and system architecture

DOI10.1023/A:1022965204416MaRDI QIDQ1870218zbMATH OpenOpenAlexFDO

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

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

cache coherence protocolsfault-tolerant link initializationformal verificationminimal 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)

Recommendations

• Formal methods: Importance, experience, and comparative analysis
• A specification methodology by a collection of compact properties as applied to the Intel\(^\circledR\) Itanium\(^{\text{TM}}\) processor bus protocol
• Overview of formal methods
• Correct Hardware Design and Verification Methods
• System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation

Cited in

(1)

• A specification methodology by a collection of compact properties as applied to the Intel\(^\circledR\) Itanium\(^{\text{TM}}\) processor bus protocol

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1870218)