APML: an architecture proof modeling language
From MaRDI portal
Publication:6535972
DOI10.1007/978-3-030-30942-8_36zbMATH Open1539.68176MaRDI QIDQ6535972FDOQ6535972
Authors: Diego Marmsoler, Genc Blakqori 
Publication date: 14 March 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Reo: a channel-based coordination model for component composition
- Isabelle/UTP: a mechanised theory engineering framework
- Isabelle/HOL. A proof assistant for higher-order logic
- Automated Assume-Guarantee Reasoning by Abstraction Refinement
- Title not available (Why is that?)
- Title not available (Why is that?)
- Types for Proofs and Programs
- Title not available (Why is that?)
- LSCs: Breathing life into message sequence charts
- Hierarchical specification and verification of architectural design patterns
- Theory and methodology of assumption/commitment based system interface specification and architectural contracts
- Specifying properties of dynamic architectures using configuration traces
- On Activation, Connection, and Behavior in Dynamic Architectures
- Title not available (Why is that?)
- Automated circular assume-guarantee reasoning
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)
