Toward the revision of CTL models through Kripke modal transition systems

DOI10.1007/978-3-642-41071-0_9MaRDI QIDQ5166663zbMATH OpenOpenAlexFDO

Authors Paulo T. Guerra, Aline Andrade, Renata Wassermann

Publication date 8 July 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-41071-0_9

Mathematics Subject Classification ID

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

Recommendations

• Abstract Model Repair
• Two AGM-style characterizations of model repair
• A refinement repair algorithm based on refinement game for KMTS models
• Revising system specifications in temporal logic
• A method for CTL model update, representing Kripke structures as ``table systems

Cited in

(4)

• A refinement repair algorithm based on refinement game for KMTS models
• Two AGM-style characterizations of model repair
• On CTL* with Graded Path Modalities
• Revising system specifications in temporal logic

This page was built for publication: Toward the revision of CTL models through Kripke modal transition systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5166663)