Lapets, Andrei; Kfoury, Assaf; Bestavros, Azer
(CS Department, Boston University, 2010-01-19)
NetSketch is a tool for the specification of constrained-flow networks (CFNs) and the certification of desirable safety properties imposed thereon, conceived to assist system integrators in modeling and design. It provides ...