Formal verification of the Alpha 21364 network protocol

DOI10.1007/3-540-44659-1_28MaRDI QIDQ2754062zbMATH OpenFDO

Authors Abdel Mokkedem, Tim Leonard

Publication date 11 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44659-1_28

Mathematics Subject Classification ID

Network protocols (68M12) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2202252
• scientific article; zbMATH DE number 3926217
• Correct Hardware Design and Verification Methods
• Formal verification of standards for distance vector routing protocols
• An algorithmic technique for protocol verification

Cited in

(7)

• Computational verification of network programs in Coq
• Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
• scientific article; zbMATH DE number 3926217 (Why is no real title available?)
• Bottleneck analysis of a gigabit network interface card: Formal verification approach
• scientific article; zbMATH DE number 2202252 (Why is no real title available?)
• Correct Hardware Design and Verification Methods
• Formal verification of a deadlock detection algorithm

Describes a project that uses

Uses Software

• TLC

This page was built for publication: Formal verification of the Alpha 21364 network protocol

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