Safe Compositional Network Sketches: NetSketch Tool Implementation
Files
Date
2011-07-21
DOI
Authors
Soule, Nate
Bestavros, Azer
Kfoury, Assaf
Lapets, Andrei
Version
OA Version
Citation
Abstract
Numerous problems exist that can be modeled as traffic through a network in which constraints exist to regulate flow. Vehicular road travel, computer networks, and cloud based resource distribution, among others all have natural representations in this manner. As these networks grow in size and/or complexity, analysis and certification of the safety invariants becomes increasingly costly.
The NetSketch formalism introduces a lightweight verification framework that allows for greater scalability than traditional analysis methods.
The NetSketch tool was developed to provide the power of this formalism in an easy to use and intuitive user interface.