A Logic-Based Framework for Verifying Consensus Algorithms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Cezara Dragoi, Thomas A. Henzinger, Helmut Veith, Josef Widder, Damien Zufferey. A Logic-Based Framework for Verifying Consensus Algorithms. In Kenneth L. McMillan, Xavier Rival, editors, Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings. Volume 8318 of Lecture Notes in Computer Science, pages 161-181, Springer, 2014. [doi]

This author has not been identified. Look up 'Cezara Dragoi' in GoogleThis author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Helmut Veith' in GoogleThis author has not been identified. Look up 'Josef Widder' in GoogleThis author has not been identified. Look up 'Damien Zufferey' in Google

runs on WebDSL