Safe compositional network sketches

DOI10.1145/1755952.1755985zbMath1361.68134OpenAlexW2106488259WikidataQ61693658 ScholiaQ61693658MaRDI QIDQ2985887

A. J. Kfoury, Andrei Lapets, Michael J. Ocean, Azer Bestavros

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

verificationmodelingdesigncompositionalitytyping

Mathematics Subject Classification ID

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

Related Items (1)

A User-friendly Interface for a Lightweight Verification System

Uses Software

• Isabelle
• SPIN
• NetSketch

Cites Work

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

This page was built for publication: Safe compositional network sketches