Revising Specifications with CTL Properties Using Bounded Model Checking


During the process of software development, it is very common that inconsistencies arise between the formal specification and some desired property. Belief Revision deals with the problem of accommodating new information that may be inconsistent with an existing knowledge base. In this paper, we propose the use of belief revision techniques in order to deal… (More)
DOI: 10.1007/978-3-540-88190-2_21


3 Figures and Tables

Slides referencing similar topics