Vacuity detection in temporal model checking

Abstract

One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the specification in the system. On the other hand, when the answer to the correctness query is positive, most model-checking tools provide no witness for the satisfaction of the… (More)
DOI: 10.1007/s100090100062

Topics

Statistics

01020'01'03'05'07'09'11'13'15'17
Citations per Year

220 Citations

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

See our FAQ for additional information.

Cite this paper

@article{Kupferman1999VacuityDI, title={Vacuity detection in temporal model checking}, author={Orna Kupferman and Moshe Y. Vardi}, journal={International Journal on Software Tools for Technology Transfer}, year={1999}, volume={4}, pages={224-233} }