scientific article; zbMATH DE number 1973984

zbMath1037.68508MaRDI QIDQ4422079

Gethin Norman, Marta Kwiatkowska

Publication date: 3 September 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2529/25290194.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

probabilistic model checkingrandomized distributed algorithmsInduction and compositional model checking

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Network protocols (68M12)

Related Items (4)

Layered reasoning for randomized distributed algorithms ⋮ Unnamed Item ⋮ Verification of consensus algorithms using satisfiability solving ⋮ Verifying Team Formation Protocols with Probabilistic Model Checking

Uses Software

• PRISM

This page was built for publication: