Automated verification and refinement for physical-layer protocols

This paper demonstrates how to use a satisfiability modulo theories (SMT) solver together with a bounded model checker to verify properties of real-time physical layer protocols. The method is first used to verify the Biphase Mark protocol, a protocol that has been verified numerous times previously...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Formal aspects of computing 2011-05, Vol.23 (3), p.243-266
Hauptverfasser:	Brown, Geoffrey M., Pike, Lee
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Checkers Computer Science Computer science control theory systems Exact sciences and technology Math Applications in Computer Science Mathematical analysis Metastability Miscellaneous Original Article Real time Receivers Solvers Specifications Temporal logic Theoretical computing Theory of Computation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!