A Logic-Based Framework for Verifying Consensus Algorithms Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zuﬀerey3, 1 - Damien - Document - PDFSEARCH.IO

First Page	Meta Content
	A Logic-Based Framework for Verifying Consensus Algorithms Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zuﬀerey3, 1 Add to Reading List Document Date: 2014-04-10 15:25:36 Open Document File Size: 373,68 KB Share Result on Facebook

A Logic-Based Framework for Verifying Consensus Algorithms Cezara Dr˘ agoi1 , Thomas A. Henzinger1 , Helmut Veith2 , Josef Widder2 , and Damien Zuﬀerey3, 1Add to Reading List