Compositional Verification of Component-based system
Event details
| Date | 14.02.2014 |
| Hour | 10:00 |
| Speaker | Mr. Qiang Wang |
| Location | |
| Category | Conferences - Seminars |
EDIC Candidacy Exam:
Exam president: Prof. Jean-Yves LeBoudec
Thesis director: Prof. Joseph Sifakis
Thesis co-director: Dr Simon Bliudze
Co-examiner: Prof. Viktor Kuncak
Research Proposal
A Survey of Automated Techniques for Formal Software Verification by Vijay D'Silva et al.
Boolean and Cartesian Abstraction for Model Checking C Program by Thomas Ball.
Speculative Linearizability by Rachid Guerraoui et al.
Research Proposal
Exam president: Prof. Jean-Yves LeBoudec
Thesis director: Prof. Joseph Sifakis
Thesis co-director: Dr Simon Bliudze
Co-examiner: Prof. Viktor Kuncak
Research Proposal
A Survey of Automated Techniques for Formal Software Verification by Vijay D'Silva et al.
Boolean and Cartesian Abstraction for Model Checking C Program by Thomas Ball.
Speculative Linearizability by Rachid Guerraoui et al.
Research Proposal
Practical information
- General public
- Free
Contact
- Ms Evelyn Duperrex