CTL model update for system modifications

MaRDI QIDQ3624112zbMATH OpenFDO

Authors Yan Zhang, Yulin Ding

Publication date 28 April 2009

Full work available at URL https://arxiv.org/abs/1111.0054

zbMATH Keywords

Computation Tree Logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

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

Describes a project that uses

Uses Software

• SPIN

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)