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“
Here is a full-text view-only version of the article as part of Springer Nature SharedIt initiative: https://rdcu.be/bMxoa
The online-first version is available here: