Toward the Revision of CTL Models through Kripke Modal Transition Systems

DOI10.1007/978-3-642-41071-0_9zbMATH Open1409.68172OpenAlexW5032134MaRDI QIDQ5166663

Renata Wassermann, Paulo T. Guerra, Aline Andrade

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)

Related Items (2)

Revising system specifications in temporal logic ⋮ Two AGM-style characterizations of model repair

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)