APML: an architecture proof modeling language

DOI10.1007/978-3-030-30942-8_36MaRDI QIDQ6535972zbMATH OpenFDO

Authors Diego Marmsoler, Genc Blakqori

Publication date 14 March 2024

zbMATH Keywords

compositional verificationinteractive theorem provingIsabelleFACTumarchitecture-based verification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 1140074
• Interactive verification of architectural design patterns in FACTum
• Towards a proof method for Paradigm
• Languages for formalizing, visualizing and verifying software architectures
• scientific article; zbMATH DE number 2079671

Cites work

• scientific article; zbMATH DE number 4180789 (Why is no real title available?)
• scientific article; zbMATH DE number 3926220 (Why is no real title available?)
• scientific article; zbMATH DE number 1927417 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Automated Assume-Guarantee Reasoning by Abstraction Refinement
• Automated circular assume-guarantee reasoning
• Hierarchical specification and verification of architectural design patterns
• Isabelle/HOL. A proof assistant for higher-order logic
• Isabelle/UTP: a mechanised theory engineering framework
• LSCs: Breathing life into message sequence charts
• On Activation, Connection, and Behavior in Dynamic Architectures
• Reo: a channel-based coordination model for component composition
• Specifying properties of dynamic architectures using configuration traces
• Theory and methodology of assumption/commitment based system interface specification and architectural contracts
• Types for Proofs and Programs

This page was built for publication: APML: an architecture proof modeling language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535972)