DMCA

Formal Verification of Consensus Algorithms in a Proof Assistant (2010)

Cached

Download Links

by Henri Debrat , Bernadette Charron-bost , Stephan Merz , Henri Debrat , Bernadette Charron-bost , Stephan Merz , Formal Verification Consensus , Henri Debrat , Bernadette Charron-bost , Stephan Merz
Venue:in "2010 Grande Region Security and Reliability Day
Citations:1 - 0 self