Windows 7 » Разное » 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

Автор: Bo0mB0om » 28 июля 2016
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 (BestMasters) by Vladimir Herdt
2016 | ISBN: 3658126795 | English | 162 pages | PDF | 2 MB


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.

DOWNLOAD
(Buy premium account for maximum speed and resumming ability)





Перед тем как скачать 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.

Другие новости по теме:
  • Awesome Mails Pro 4.80 (Mac OSX)
    Awesome Mails Pro 4.80 | MacOSX | 43.8 MBCreate beautiful interactive emails with photos, stylish fonts and web hyper links. For best compatibility with mail clients, emails are sent as image maps
  • IT Professional May-June 2015
    IT Professional - May/June 2015English | True PDF | 78 Pages | 5.50 MB
  • AKVIS OilPaint 5.0.521.13551 Multilingual (Mac OSX)
    AKVIS OilPaint 5.0.521.13551 Multilingual | MacOSX | 127 MBAKVIS OilPaint is photo to painting software that creates oil paintings from photographs. The characteristic feature of the program is a
  • Agisoft PhotoScan Professional 1.2.5.2735 Multilingual (Mac OSX)
    Agisoft PhotoScan Professional 1.2.5.2735 Multilingual | MacOSX | 73 MBAgisoft PhotoScan is an advanced image-based 3D modeling solution aimed at creating professional quality 3D content from still
  • Complete English Grammar Rules
    "Complete English Grammar Rules" by Peter Herring Examples, Exceptions, Exercises, and Everything You Need to Master Proper Grammar2016 | EPUB, MOBI, PDF (conv) | 620 pages | English | 7.86 MB