کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
429300 687181 2008 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Model checking with Boolean Satisfiability
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Model checking with Boolean Satisfiability
چکیده انگلیسی

The evolution of SAT algorithms over the last decade has motivated the application of SAT to model checking, initially through the use of SAT in bounded model checking and, more recently, in unbounded model checking. This paper provides an overview of modern SAT algorithms, SAT-based bounded model checking and some of the most promising approaches for unbounded model checking, namely induction and interpolation. Moreover, the paper details a number of techniques that have proven effective in using SAT solvers in model checking.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Algorithms - Volume 63, Issues 1–3, January–July 2008, Pages 3-16