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

Full description

Saved in:

Bibliographic Details
Published in:	IEEE/ACM transactions on networking Vol. 24; no. 2; pp. 887 - 900
Main Authors:	Hongkun Yang, Lam, Simon S.
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.04.2016 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!