Revising Specifications with CTL Properties Using Bounded Model Checking

Abstract

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

Topics

3 Figures and Tables

Slides referencing similar topics