Linear Completeness Thresholds for Bounded Model Checking.

Bounded model checking is a symbolic bug-finding method that examines paths of bounded length for violations of a given LTL formula. Its rapid adoption in industry owes much to advances in SAT technology over the past 10-15 years. More recently, there have been increasing efforts to apply SAT-based...

وصف كامل

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون: Kroening, D, Ouaknine, J, Strichman, O, Wahl, T, Worrell, J
مؤلفون آخرون: Gopalakrishnan, G
التنسيق: Journal article
اللغة:English
منشور في: Springer 2011