This is electronic supplementary material for Marmsoler's article "A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL" for ICFEM 2018.

- Formal proof document: document.pdf.
- Theory file for the blackboard pattern (the following Isabelle/HOL theory file is tested on Isabelle/HOL 2018 and requires dynamic architectures from the archive of formal proofs): Blackboard.thy.
- Experimental data: experiments.xlsx.