Constraint Solving for Software Reliabilit
Event details
| Date | 27.09.2013 |
| Hour | 10:00 |
| Speaker | Mr Regis Blanc |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Friedrich Eisenbrand
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Christoph Koch
Research Proposal
Deciding floating-point logic with systematic abstraction by Leopold Haller.
DPLL(T): Fast Decision Procedures by Harald Ganzinger et al.
Programming with specification, thesis Philippe Suter, Chapter 3
Exam president: Prof. Friedrich Eisenbrand
Thesis director: Prof. Viktor Kuncak
Co-examiner: Prof. Christoph Koch
Research Proposal
Deciding floating-point logic with systematic abstraction by Leopold Haller.
DPLL(T): Fast Decision Procedures by Harald Ganzinger et al.
Programming with specification, thesis Philippe Suter, Chapter 3
Practical information
- General public
- Free
Contact
- Ms Evelyn Duperrex