کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10329788 685524 2005 16 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Verifying Industrial Hybrid Systems with MathSAT
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Verifying Industrial Hybrid Systems with MathSAT
چکیده انگلیسی
The approach is very similar in spirit to SAT-based bounded model checking; furthermore, the ability to reason directly about real variables gives computational leverage over discretization-based methods. Despite the undecidability of the general problem, the proposed method is able to provide valuable information on large designs of practical relevance.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 119, Issue 2, 14 March 2005, Pages 17-32
نویسندگان
, , , ,