Efficient Counterexample Generation for Safety Violation in Model Checking
Vol. 12, No. 1, pp. 81-90, Feb. 2005
10.3745/KIPSTD.2005.12.1.81
Abstract
Statistics
|
Cite this article
[IEEE Style]
T. H. Lee and G. H. Kwon, "Efficient Counterexample Generation for Safety Violation in Model Checking," The KIPS Transactions:PartD, vol. 12, no. 1, pp. 81-90, 2005. DOI: 10.3745/KIPSTD.2005.12.1.81.
[ACM Style]
Tae Hoon Lee and Gi Hwon Kwon. 2005. Efficient Counterexample Generation for Safety Violation in Model Checking. The KIPS Transactions:PartD, 12, 1, (2005), 81-90. DOI: 10.3745/KIPSTD.2005.12.1.81.