Safe compositional network sketches: formal framework

DOI10.1145/1755952.1755985MaRDI QIDQ2985887zbMATH OpenOpenAlexWikidataFDO

Authors Azer Bestavros, Assaf Kfoury, Andrei Lapets, Michael J. Ocean

Publication date 10 May 2017

Published in Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1755952.1755985

zbMATH Keywords

compositionalitydesignmodelingtypingverification

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Specification and verification (program logics, model checking, etc.) (68Q60) Deterministic network models in operations research (90B10)

Recommendations

• NetKAT -- a formal system for the verification of networks
• Computational verification of network programs in Coq
• A compositional model for confluent dynamic data-flow networks
• Netter: probabilistic, stateful network models
• Flow logic

Cites work

• Approximate reachability analysis of piecewise-linear dynamical systems
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Discrete-time control for rectangular hybrid automata
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Marked directed graphs
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• The theory of hybrid automata
• Unfoldings: A partial-order approach to model checking.
• What's decidable about hybrid automata?

Cited in

(1)

• A user-friendly interface for a lightweight verification system

Describes a project that uses

Uses Software

• Isabelle
• SPIN
• NetSketch

This page was built for publication: Safe compositional network sketches: formal framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985887)