Automated verification and refinement for physical-layer protocols

DOI10.1007/S00165-010-0149-0zbMath1213.68117OpenAlexW2022296946MaRDI QIDQ539420

Geoffrey M. Brown, Lee Pike

Publication date: 30 May 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-010-0149-0

zbMATH Keywords

real-timephysical layersatisfiability modulo theories (SMT)biphase markinfinite-state model checkingUART

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Uses Software

• Yices

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The existence of refinement mappings
• Analysis of a biphase mark protocol with Uppaal and PVS
• A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocol
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Computer Aided Verification

This page was built for publication: Automated verification and refinement for physical-layer protocols