Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq.

Vincent Rahli, Ivana Vukotic, Marcus Vlp, Paulo Jorge Esteves Verssimo

Browse the full ESOP paper archive.