Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC

MaRDI QIDQ2848422zbMATH OpenFDO

Authors Marie Duflot, Thomas Herault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny, Laurent Fribourg

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002446

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2090709
• Computer Aided Verification
• A Matrix Representation of CSMA/CD Networks
• Symbolic model checking for probabilistic timed automata
• Evaluating complex MAC protocols for sensor networks with APMC

Cited in

(9)

• Computer Aided Verification
• A process algebra for link layer protocols
• Performance analysis and functional verification of the stop-and-wait protocol in HOL
• scientific article; zbMATH DE number 2090709 (Why is no real title available?)
• Quantitative analysis with the probabilistic model checker PRISM
• Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
• Probabilistic verification and approximation
• A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks
• Evaluating complex MAC protocols for sensor networks with APMC

Describes a project that uses

Uses Software

• Uppaal
• Kronos
• PRISM

This page was built for publication: Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC

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