Login
- Dokumenttyp:
- Technical Report
- Autor(en):
- David Trachtenherz
- Titel:
- Ausfuehrungssemantik von AutoFocus-Modellen: Isabelle/HOL-Formalisierung und Aequivalenzbeweis
- Abstract:
- Wir formalisieren den stark kausalen Ausschnitt der Ausfuehrungssemantik des CASE-Werkzeugs AutoFocus in dem Beweisassistenten Isabelle/HOL und zeigen die Aequivalenz dieser Darstellung und der formalen Definition der AutoFocus-Semantik in frueheren Arbeiten und diesem Bericht
- Stichworte:
- AutoFocus; Isabelle/HOL; Formal Semantics; Formal Verification; Theorem Proving
- Jahr:
- 2009
- Jahr / Monat:
- 2009-01-23 00:00:00
- Seiten/Umfang:
- 36
BibTeX