Certified Compilation and Worst-Case Execution Time Estimation
Safety-critical systems - such as electronic flight control systems and nuclear reactor controls - must satisfy strict safety requirements. We are interested here in the application of formal methods - built upon solid mathematical bases - to verify the behavior of safety-critical systems. More spec...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Université Rennes 1
2014
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-01064869 http://tel.archives-ouvertes.fr/docs/01/06/48/69/PDF/OLIVEIRA_-_MARONEZE_Andre.pdf |