Model Checking of Safety Properties


Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Proof rules for the verification of safety properties have been developed in the proof-based approach to verification, making verification of safety properties simpler than verification of general properties. In this paper… (More)
DOI: 10.1007/3-540-48683-6_17


1 Figure or Table


Citations per Year

477 Citations

Semantic Scholar estimates that this publication has 477 citations based on the available data.

See our FAQ for additional information.