Managing the verification trajectory

Abstract

In this paper we take a closer look at the automated analysis of designs, in particular of verification by model checking. Model checking tools are increasingly being used for the verification of real-life systems in an industrial context. In addition to ongoing research aimed at curbing the complexity of dealing with the inherent state space explosion… (More)
DOI: 10.1007/s10009-002-0078-1

Topics

10 Figures and Tables

Slides referencing similar topics