Interactive verification of architectural design patterns in FACTum
From MaRDI portal
Publication:2335950
Recommendations
Cites work
- A graph transformation approach to software architecture reconfiguration
- A model of dynamic systems
- Categorical semantics of parallel program design
- Communicating sequential processes
- Counting CTL
- FDR3 -- a modern refinement checker for CSP
- Hierarchical specification and verification of architectural design patterns
- scientific article; zbMATH DE number 3978362 (Why is no real title available?)
- scientific article; zbMATH DE number 1296290 (Why is no real title available?)
- scientific article; zbMATH DE number 977452 (Why is no real title available?)
- scientific article; zbMATH DE number 1006119 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 1142323 (Why is no real title available?)
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Interactive verification of architectural design patterns in FACTum
- Isabelle/HOL. A proof assistant for higher-order logic
- Modeling component connectors in Reo by constraint automata
- Modeling dynamic reconfigurations in Reo using high-level replacement systems
- NuSMV: A new symbolic model checker
- On Activation, Connection, and Behavior in Dynamic Architectures
- On the verification of architectural reconfigurations
- Ouroboros: a provably secure proof-of-stake blockchain protocol
- Proof methods for corecursive programs
- Reo: a channel-based coordination model for component composition
- Specification and Development of Interactive Systems
- Specifying properties of dynamic architectures using configuration traces
- Structural reconfiguration of systems under behavioral adaptation
- Towards a calculus for dynamic architectures
- Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
- Truly modular (co)datatypes for Isabelle/HOL
- Types for Proofs and Programs
Cited in
(8)- Runtime verification for dynamic architectures
- Hierarchical specification and verification of architectural design patterns
- Interactive verification of architectural design patterns in FACTum
- A type language for distributed reactive components governed by communication protocols
- Design Verification Patterns
- scientific article; zbMATH DE number 7454918 (Why is no real title available?)
- APML: an architecture proof modeling language
- History-based reasoning about behavioral subtyping (extended paper)
Describes a project that uses
Uses Software
This page was built for publication: Interactive verification of architectural design patterns in FACTum
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2335950)
