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ženo v:

Podrobná bibliografie
Vydáno v:	IEEE/ACM transactions on networking Ročník 24; číslo 2; s. 887 - 900
Hlavní autoři:	Hongkun Yang, Lam, Simon S.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.04.2016 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!