tlooto
Sign up
Open AccessComputer Science

Model Checking of Safety Properties

O. Kupferman, M. Vardi

1999.7.6FORMAL METHODS IN SYSTEM DESIGN

DOI: 10.1023/a:1011254632723

tlooto Summary

An analysis of safety properties is presented that enables us to prevent the doubly-exponential blow up and to use the same automaton used for model checking of general properties, replacing the search for bad cycles by a search for finite bad prefixes.

Abstract

Abstract is not available.

Citation format

KUPFERMAN, O.; VARDI, M. Model checking of safety properties. FORMAL METHODS IN SYSTEM DESIGN, 1999, 19: 291–314.