Publication:4422079
From MaRDI portal
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
probabilistic model checking; randomized distributed algorithms; Induction and compositional model checking
68M10: Network design and communication in computer systems
68M14: Distributed systems
68M12: Network protocols
Related Items
Unnamed Item, Verification of consensus algorithms using satisfiability solving, Layered reasoning for randomized distributed algorithms, Verifying Team Formation Protocols with Probabilistic Model Checking
Uses Software