CTL model update for system modifications
From MaRDI portal
Recommendations
- AI 2005: Advances in Artificial Intelligence
- A Logic Approach for LTL System Modification
- Foundations of tree-like local model updates
- A method for CTL model update, representing Kripke structures as ``table systems
- Nondeterministic update of CTL models by preserving satisfaction through protections
Cited in
(12)- Two AGM-style characterizations of model repair
- CTL update of Kripke models through protections
- Model-checking the preservation of temporal properties upon feature integration
- Foundations of tree-like local model updates
- Nondeterministic update of CTL models by preserving satisfaction through protections
- Adaptive Model Checking
- A method for CTL model update, representing Kripke structures as ``table systems
- Finding explanations of inconsistency in multi-context systems
- scientific article; zbMATH DE number 1903377 (Why is no real title available?)
- AI 2005: Advances in Artificial Intelligence
- A theory of change for prioritised resilient and evolvable software systems
- Revising system specifications in temporal logic
This page was built for publication: CTL model update for system modifications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624112)