Revising system specifications in temporal logic

DOI10.1007/S10849-022-09376-9zbMATH Open1515.68180MaRDI QIDQ6097773FDOQ6097773

Authors: Paulo T. Guerra, Renata Wassermann 

Publication date: 7 June 2023

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

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

zbMATH Keywords

belief revisiontemporal logicmodel repair

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (4)

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

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)