Login
- Titel:
FlexRay: Verifikation of the FOCUS Specification in Isabelle/HOL. A Case Study
- Dokumenttyp:
- Technical Report
- Autor(en):
- Maria Spichkova
- Abstract:
- This paper represents a translation of the FOCUS specifications of the FlexRay communication protocol the Higher Order Logic specification in Isabelle/HOL and the corresponding formal Isabelle/HOL proofs for the translated specifications, which shows that the specified FlexRay architecture fulfills the specified FlexRay requirements.
- Stichworte:
- FlexRay; FOCUS; formalization; specification; verification; refinement
- Jahr:
- 2006
- Jahr / Monat:
- 2006-02-01 00:00:00
- Seiten/Umfang:
- 26
BibTeX