Revising system specifications in temporal logic

DOI10.1007/S10849-022-09376-9MaRDI QIDQ6097773zbMATH OpenFDO

Authors Paulo T. Guerra, Renata Wassermann

Publication date 7 June 2023

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10849-022-09376-9

zbMATH Keywords

belief revisionmodel repairtemporal logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1318522
• scientific article; zbMATH DE number 1070625
• scientific article; zbMATH DE number 1231547
• Specification of real-time and hybrid systems in rewriting logic
• Specification and verification using temporal logics
• scientific article; zbMATH DE number 52331
• Composing and refining dense temporal logic specifications
• scientific article; zbMATH DE number 3858393

Cites work

• A textbook of belief dynamics. Theory change and database updating
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• CTL model update for system modifications
• Enhancing model checking in verification by AI techniques
• scientific article; zbMATH DE number 1693039 (Why is no real title available?)
• scientific article; zbMATH DE number 3831894 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 3757688 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 2086523 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• Local change
• On the logic of theory change: Partial meet contraction and revision functions
• Propositional belief base update and minimal change
• Results on the propositional \(\mu\)-calculus
• Symbolic model checking: \(10^{20}\) states and beyond
• Toward the revision of CTL models through Kripke modal transition systems
• Two AGM-style characterizations of model repair
• Two modellings for theory change

Cited in

(4)

• A two-level temporal logic for evolving specifications.
• Toward the revision of CTL models through Kripke modal transition systems
• A Logic Approach for LTL System Modification
• Computing sufficient and necessary conditions in CTL: a forgetting approach

This page was built for publication: Revising system specifications in temporal logic

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