Belief revision on computation tree logic

Authors:
Paulo T. Guerra;Renata Wassermann
Affiliations:
University of São Paulo, São Paulo, Brazil;University of São Paulo, São Paulo, Brazil
Venue:
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Year:
2011

Citing 4
Cited 0

Automatic verification of finite-state concurrent systems using temporal logic specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
CTL model update for system modifications

Journal of Artificial Intelligence Research
A unified view of propositional knowledge base updates

IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Revision of CTL models

IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model checking is one of the most effective techniques in automated system verification. Although this technique can handle complex verifications, model checking tools usually do not give any suggestions on how to repair inconsistent system models. In this paper, we show that approaches developed to update models of Computation Tree Logic (CTL) cannot deal with all kinds of changes. We introduce the concept of CTL model revision: an approach based on belief revision to handle system inconsistency in a static context.