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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE/ACM transactions on networking Ročník 24; číslo 2; s. 887 - 900
Hlavní autori:	Hongkun Yang, Lam, Simon S.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.04.2016 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!