Static and dynamic property-preserving updates
From MaRDI portal
Publication:2042718
DOI10.1016/j.ic.2020.104611zbMath1497.68251OpenAlexW3048295649MaRDI QIDQ2042718
Publication date: 21 July 2021
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-03338673/file/main.pdf
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Synthesis of Reactive(1) designs
- Modeling dynamic reconfigurations in Reo using high-level replacement systems
- The behavioural semantics of Event-B refinement
- Finite automata and unary languages
- Type-based hot swapping of running modules
- Modeling component connectors in Reo by constraint automata
- The Unknown Component Problem
- A Behavioural Congruence for Web Services
- Formal Verification for Components and Connectors
- Reo: a channel-based coordination model for component composition
- Games with a Weak Adversary
- Mutatis mutandis
- Deterministic generators and games for Ltl fragments
- Verification, Model Checking, and Abstract Interpretation
- Most General Property-Preserving Updates
- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
This page was built for publication: Static and dynamic property-preserving updates