Automated Verification of Distributed Algorithms
Event details
| Date | 11.05.2010 |
| Hour | 08:15 |
| Speaker | Mr Giuliano Losa |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Jean-Yves Le Boudec
Thesis director: Prof. Viktor Kuncak
Thesis co-director: Prof. Rachid Guerraoui
Co-examiner: Prof. André Schiper
Research Proposal
The Next 700 BFT Protocols by Guerraoui, Knezevic, Quema, and Vukolic
Environment Abstraction for Parameterized Verification by Clarke, Talupur, and Veith
Automatic Verification and Discovery of Byzantine Consensus Protocols by Zielinski
Exam president: Prof. Jean-Yves Le Boudec
Thesis director: Prof. Viktor Kuncak
Thesis co-director: Prof. Rachid Guerraoui
Co-examiner: Prof. André Schiper
Research Proposal
The Next 700 BFT Protocols by Guerraoui, Knezevic, Quema, and Vukolic
Environment Abstraction for Parameterized Verification by Clarke, Talupur, and Veith
Automatic Verification and Discovery of Byzantine Consensus Protocols by Zielinski
Practical information
- General public
- Free
Contact
- Evelyn Duperrex