Real-Time Verification of Network Properties Using Atomic Predicates

Network management will benefit from automated tools based upon formal methods. Several such tools have been published in the literature. We present a new formal method for a new tool, Atomic Predicates (AP) Verifier, which is much more time and space efficient than existing tools. Given a set of pr...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE/ACM transactions on networking Jg. 24; H. 2; S. 887 - 900
Hauptverfasser:	Hongkun Yang, Lam, Simon S.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.04.2016 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Algorithms Automated tools Automation Boolean functions Computation Data structures Failure Formal method formal methods IEEE transactions IP networks network management Network management systems network policies and properties Networks Policies Ports (Computers) protocol verification Protocols reachability computation Real time Real-time systems
ISSN:	1063-6692, 1558-2566
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!