Specifying Properties of Dynamic Architectures Using Configuration Traces

DOI10.1007/978-3-319-46750-4_14zbMath1482.68144OpenAlexW2523676351MaRDI QIDQ3179403

Diego Marmsoler, Mario Gleirscher

Publication date: 21 December 2016

Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-46750-4_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical problems of computer architecture (68M07)

Related Items (4)

Modelling Uncertainty in Architectures of Parametric Component-Based Systems ⋮ Unnamed Item ⋮ Runtime verification for dynamic architectures ⋮ Interactive verification of architectural design patterns in FACTum

Uses Software

• Isabelle
• Rapide
• Isabelle/HOL
• Isar
• HOL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Isabelle/HOL. A proof assistant for higher-order logic
• Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
• Two Graph-Based Techniques for Software Architecture Reconfiguration
• A Model of Dynamic Systems

This page was built for publication: Specifying Properties of Dynamic Architectures Using Configuration Traces