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

zbMATH Open1272.68242MaRDI QIDQ2848422FDOQ2848422

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

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

Mathematics Subject Classification ID

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

Cited In (7)

• Computer Aided Verification
• Performance analysis and functional verification of the stop-and-wait protocol in HOL
• Title not available (Why is that?)
• Modelling IEEE 802.11 CSMA/CA RTS/CTS with stochastic bigraphs with sharing
• Probabilistic verification and approximation
• Evaluating Complex MAC Protocols for Sensor Networks with APMC
• A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks

Uses Software

• PRISM
• Kronos
• Uppaal

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)