توضیحات
In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larger (non-terminating) SystemC programs. The approach combines symbolic simulation with stateful model checking and allows to verify safety properties in (cyclic) finite state spaces, by exhaustive exploration of all possible inputs and process schedulings. The state explosion problem is alleviated by integrating two complementary reduction techniques. Compared to existing approaches, the complete symbolic simulation works more efficiently, and therefore can provide correctness proofs for larger systems, which is one of the most challenging tasks, due to the ever increasing complexity.
————————————————————–
ترجمه ماشینی :
در پایان نامه کارشناسی ارشد خود ، ولادیمیر هردت یک رویکرد جدید به نام شبیه سازی کامل نمادین را برای تأیید کارآمدتر از برنامه های بسیار بزرگتر (غیر خاتمه بخش) ارائه می دهد. این رویکرد شبیه سازی نمادین را با بررسی مدل حالت ترکیبی ترکیب می کند و امکان تأیید خصوصیات ایمنی در فضاهای حالت محدود (چرخه ای) را فراهم می کند ، با اکتشاف جامع همه ورودی های ممکن و برنامه های فرآیند. مشکل انفجار دولت با ادغام دو روش کاهش مکمل کاهش می یابد. در مقایسه با رویکردهای موجود ، شبیه سازی نمادین کامل کارآمدتر عمل می کند ، بنابراین می تواند اثبات صحت برای سیستم های بزرگتر ، که یکی از چالش برانگیزترین کارها است ، به دلیل پیچیدگی روزافزون ارائه دهد.
tag : دانلود کتاب شبیه سازی کامل نمادین از مدلهای SystemC: تأیید رسمی کارآمد برنامه های غیر فسخ محدود , Download شبیه سازی کامل نمادین از مدلهای SystemC: تأیید رسمی کارآمد برنامه های غیر فسخ محدود , دانلود شبیه سازی کامل نمادین از مدلهای SystemC: تأیید رسمی کارآمد برنامه های غیر فسخ محدود , Download Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs Book , شبیه سازی کامل نمادین از مدلهای SystemC: تأیید رسمی کارآمد برنامه های غیر فسخ محدود دانلود , buy شبیه سازی کامل نمادین از مدلهای SystemC: تأیید رسمی کارآمد برنامه های غیر فسخ محدود , خرید کتاب شبیه سازی کامل نمادین از مدلهای SystemC: تأیید رسمی کارآمد برنامه های غیر فسخ محدود , دانلود کتاب Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs , کتاب Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs , دانلود Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs , خرید Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs , خرید کتاب Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.