FACTum

MaRDI QIDQ42665swMATHFDO

Official website https://marmsoler.com/factum/

Cited in

(11)

• Interactive verification of architectural design patterns in FACTum
• Rapide
• HOL-OCL
• ConQAT
• Xtext
• Klocwork
• Dynamic Architectures
• Architectural_Design_Patterns
• Runtime verification for dynamic architectures
• OCRA
• scientific article; zbMATH DE number 7454918 (Why is no real title available?)

This page was built for software: FACTum