Interactive Verification of Architectural Design Patterns in FACTum

My article on interactive verification of architectural design patterns in FACTum got accepted for Formal Aspects of Computing. It descibes the fundamentals of FACTum and a semantic preserving algorithm to map a FACTum specification to a locale for the interactive theorem prover Isabelle.

2 Kommentare zu „Interactive Verification of Architectural Design Patterns in FACTum“

Kommentar verfassen

Trage deine Daten unten ein oder klicke ein Icon um dich einzuloggen:

WordPress.com-Logo

Du kommentierst mit Deinem WordPress.com-Konto. Abmelden /  Ändern )

Google Foto

Du kommentierst mit Deinem Google-Konto. Abmelden /  Ändern )

Twitter-Bild

Du kommentierst mit Deinem Twitter-Konto. Abmelden /  Ändern )

Facebook-Foto

Du kommentierst mit Deinem Facebook-Konto. Abmelden /  Ändern )

Verbinde mit %s