Inhalt des Dokuments
Publikationen
| Zitatschlüssel | gesellensetter07formal |
|---|---|
| Autor | Lars Gesellensetter and Sabine Glesner and Elke Salecker |
| Buchtitel | 12th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2007) |
| Jahr | 2007 |
| Zusammenfassung | Software bugs can cause tremendous financial loss and are a serious threat to life or physical condition in safety-critical areas. Formal software verification with theorem provers aims at ensuring that no errors are present but is too expensive to be employed for full-scale systems. We show that these costs can be reduced significantly by reusing proofs and by the checker approach. We demonstrate the applicability of our approach by a case study checking the correctness of the scheduler of the popular GCC compiler for a VLIW processor where we indeed found an error. |
| Typ der Publikation | Conference Article |
Zurück [3]
79707-4_8
no_cache=1&tx_sibibtex_pi1%5Bdownload_bibtex_uid%5D
=54752&tx_sibibtex_pi1%5Bcontentelement%5D=tt_conte
nt%3A210839
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe
Hilfsfunktionen
Copyright TU Berlin 2008