Verification for Embedded Systems
Event details
| Date | 12.07.2010 |
| Hour | 13:30 |
| Speaker | Ms Eva Darulovà |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Bernard Moret
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Martin Odersky
Research Proposal
A Sound Floating-Point Polyhedra Domain by L. Chen, A. Miné, P. Cousot
Abstract Interpretation of the Physical Inputs of Embedded Programs by O. Bouissou, M. Martel
European Train Control System: A Case Study in Formal Verification by A . Platzer, JD Quesel
Exam president: Prof. Bernard Moret
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Martin Odersky
Research Proposal
A Sound Floating-Point Polyhedra Domain by L. Chen, A. Miné, P. Cousot
Abstract Interpretation of the Physical Inputs of Embedded Programs by O. Bouissou, M. Martel
European Train Control System: A Case Study in Formal Verification by A . Platzer, JD Quesel
Practical information
- General public
- Free
Contact
- Evelyn Duperrex