Interactive verification of architectural design patterns in FACTum (Q2335950): Difference between revisions

@@ Property / describes a project that uses @@
+Dynamic Architectures
@@ Property / describes a project that uses: Dynamic Architectures / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Architectural_Design_Patterns
@@ Property / describes a project that uses: Architectural_Design_Patterns / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/Isar
@@ Property / describes a project that uses: Isabelle/Isar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HOL
@@ Property / describes a project that uses: HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Xtext
@@ Property / describes a project that uses: Xtext / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FDR3
@@ Property / describes a project that uses: FDR3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coinductive
@@ Property / describes a project that uses: Coinductive / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-019-00488-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2966848734
@@ Property / OpenAlex ID: W2966848734 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Types for Proofs and Programs
@@ Property / cites work: Types for Proofs and Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Truly Modular (Co)datatypes for Isabelle/HOL
@@ Property / cites work: Truly Modular (Co)datatypes for Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742698
@@ Property / cites work: Q3742698 / rank @@
+Normal rank
@@ Property / cites work @@
+A Model of Dynamic Systems
@@ Property / cites work: A Model of Dynamic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and Development of Interactive Systems
+Normal rank
@@ Property / cites work @@
+Modeling component connectors in Reo by constraint automata
+Normal rank
@@ Property / cites work @@
+Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
+Normal rank
@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Structural reconfiguration of systems under behavioral adaptation
+Normal rank
@@ Property / cites work @@
+Categorical semantics of parallel program design
@@ Property / cites work: Categorical semantics of parallel program design / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472879
@@ Property / cites work: Q5472879 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335814
@@ Property / cites work: Q4335814 / rank @@
+Normal rank
@@ Property / cites work @@
+FDR3 — A Modern Refinement Checker for CSP
@@ Property / cites work: FDR3 — A Modern Refinement Checker for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling dynamic reconfigurations in Reo using high-level replacement systems
+Normal rank
@@ Property / cites work @@
+Ouroboros: a provably secure proof-of-stake blockchain protocol
+Normal rank
@@ Property / cites work @@
+Counting CTL
@@ Property / cites work: Counting CTL / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a calculus for dynamic architectures
@@ Property / cites work: Towards a calculus for dynamic architectures / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical specification and verification of architectural design patterns
+Normal rank
@@ Property / cites work @@
+On Activation, Connection, and Behavior in Dynamic Architectures
+Normal rank
@@ Property / cites work @@
+Specifying Properties of Dynamic Architectures Using Configuration Traces
+Normal rank
@@ Property / cites work @@
+Interactive verification of architectural design patterns in FACTum
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Q4331846
@@ Property / cites work: Q4331846 / rank @@
+Normal rank
@@ Property / cites work @@
+On the verification of architectural reconfigurations
+Normal rank
@@ Property / cites work @@
+A graph transformation approach to software architecture reconfiguration
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank