Электронные книги


Последние комментарии
От партнёров
Облако тегов

Наука и учебаScalable Techniques for Formal Verification

Scalable Techniques for Formal Verification

Название: Scalable Techniques for Formal Verification
Издательство: Springer
Автор: Sandip Ray
Год: 2010
Количество страниц: 240
Формат: PDF
Размер: 1 mb
Язык: English

This book presents state-of-the-art approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It should benefit researchers and practitioners looking to get a broad overview of the spectrum of formal verification techniques, as well as approaches to combining such techniques within a single framework. Coverage includes a range of case studies showing how such combination is fruitful in developing a scalable verification methodology for industrial designs. This book outlines both theoretical and practical issues involved in integrating different reasoning methods to work in concert, and current approaches to their resolution.

Нажмите для скачивания Scalable+Techniques.pdf!Scalable+Techniques.pdf
Размер: 1.25 Mb(cкачиваний: 1)

Похожие книги


Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.

  • Valid XHTML 1.0 Transitional