Formal analysis of streaming downloading protocol for system upgrading

DOI10.1016/J.ENTCS.2006.07.020MaRDI QIDQ7014405zbMATH OpenFDO

Authors Miaomiao Zhang, Dang Van Hung

Publication date 11 March 2025

Full work available at URL https://doi.org/10.1016/J.ENTCS.2006.07.020

zbMATH Keywords

PRISMprobabilistic model checkingstreaming download protocol

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• A logic for reasoning about time and reliability
• A theory of timed automata
• Automatic verification of real-time systems with discrete probability distributions.
• Formal Modeling and Analysis of Timed Systems
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 1956576 (Why is no real title available?)
• scientific article; zbMATH DE number 878456 (Why is no real title available?)

Cited in

(1)

• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond

This page was built for publication: Formal analysis of streaming downloading protocol for system upgrading

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