RDA

MaRDI QIDQ42713swMATHFDO

Official website http://www.allyxfontaine.com/rda

Described by source

• RDA: a Coq library to reason about randomised distributed algorithms in the message passing model

Cited in

(2)

• DAMPAS
• Certified impossibility results and analyses in Coq of some randomised distributed algorithms

This page was built for software: RDA