Pages that link to "Item:Q2024379"
From MaRDI portal
The following pages link to Formal specification and verification of dynamic parametrized architectures (Q2024379):
Displaying 9 items.
- An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems (Q520240) (← links)
- On the verification of architectural reconfigurations (Q1749140) (← links)
- Universal invariant checking of parametric systems with quantifier-free SMT reasoning (Q2055851) (← links)
- Formal specification and verification of decentralized self-adaptive systems using symmetric nets (Q2063102) (← links)
- Specification and verification of a dynamic reconfiguration protocol for agent-based applications (Q2758935) (← links)
- (Q5028448) (← links)
- SMT-based verification of data-aware processes: a model-theoretic approach (Q5139282) (← links)
- Verification of SMT systems with quantifiers (Q6160910) (← links)
- Invariant checking for SMT-based systems with quantifiers (Q6636621) (← links)