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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.5591/978-1-57735-516-8/IJCAI11-477 | IJCAI |
Keywords | Field | DocType |
inconsistent system model,computation tree logic,system inconsistency,automated system verification,complex verification,Computation Tree Logic,model checking,effective technique,model checking tool,CTL model revision,belief revision | Computation tree logic,Discrete mathematics,Model checking,Computer science,Probabilistic CTL,Theoretical computer science,Model of computation,CTL*,Belief revision,System verification | Conference |
Citations | PageRank | References |
1 | 0.37 | 5 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Paulo T. Guerra | 1 | 2 | 1.77 |
Renata Wassermann | 2 | 237 | 26.64 |