Automation in software refinement
Event details
| Date | 30.06.2014 |
| Hour | 10:00 |
| Speaker | Emmanouil Koukoutos |
| Location | |
| Category | Conferences - Seminars |
Candidacy exam
Exam president: Prof. Martin Odersky
Thesis director : Prof. Viktor Kuncak
Co-examiner : Prof. Christoph Koch
Research proposal
Program Extrapolation with Jennisys by K. Rustan M. Leino and Aleksandar Milicevic.
seL4: Formal Verification of an Operating-System Kernel by Gerwin Klein, et al.
Abstract Refinement Types by Niki Vazou, et al.
Exam president: Prof. Martin Odersky
Thesis director : Prof. Viktor Kuncak
Co-examiner : Prof. Christoph Koch
Research proposal
Program Extrapolation with Jennisys by K. Rustan M. Leino and Aleksandar Milicevic.
seL4: Formal Verification of an Operating-System Kernel by Gerwin Klein, et al.
Abstract Refinement Types by Niki Vazou, et al.
Practical information
- General public
- Free
Contact
- Evelyn Duperrex