A refinement repair algorithm based on refinement game for KMTS models

DOI10.1007/978-3-319-49815-7_10zbMATH Open1396.68033OpenAlexW2552116672MaRDI QIDQ1784789FDOQ1784789

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

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

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)

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)