Towards Certifying Network Calculus

DOI10.1007/978-3-642-39634-2_37MaRDI QIDQ5327371zbMATH OpenOpenAlexFDO

Authors Etienne Mabille, Marc Boyer, Loïc Fejoz, Stephan Merz

Publication date 7 August 2013

Published in Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39634-2_37

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• An algorithmic toolbox for network calculus
• Computational verification of network programs in Coq
• Verification techniques for a network algebra
• NetKAT -- a formal system for the verification of networks
• Mixed network calculus
• Network Conscious π-calculus: A Concurrent Semantics
• scientific article; zbMATH DE number 2040844
• Some complexity results for stateful network verification

Cited in

(8)

• Network-conscious -calculus -- a model of Pastry
• Network calculus for bounding delays in feedforward networks of FIFO queueing systems
• scientific article; zbMATH DE number 6519607 (Why is no real title available?)
• An algorithmic toolbox for network calculus
• scientific article; zbMATH DE number 6905198 (Why is no real title available?)
• Extending the network calculus algorithmic toolbox for ultimately pseudo-periodic functions: pseudo-inverse and composition
• Should network calculus relocate? An assessment of current algebraic and optimization-based analyses
• Timing analysis of rate-constrained traffic in TTEthernet using network calculus

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Towards Certifying Network Calculus

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