A refinement repair algorithm based on refinement game for KMTS models

DOI10.1007/978-3-319-49815-7_10MaRDI QIDQ1784789zbMATH OpenOpenAlexFDO

Authors Efraim Machado, Aline Andrade

Publication date 27 September 2018

Full work available at URL https://doi.org/10.1007/978-3-319-49815-7_10

zbMATH Keywords

partial informationmodel refinementmodel repairKMTSrefinement game

Mathematics Subject Classification ID

Applications of game theory (91A80) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• Toward the revision of CTL models through Kripke modal transition systems
• Abstract Model Repair
• An inductive approach for modal transition system refinement
• Two AGM-style characterizations of model repair
• On refinements of Boolean and parametric modal transition systems

Cited in

(1)

• Toward the revision of CTL models through Kripke modal transition systems

This page was built for publication: A refinement repair algorithm based on refinement game for KMTS models

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