Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA

Tiziana Margaria, "Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA"
English | ISBN: 3030034208 | 2018 | 496 pages | EPUB, PDF | 26 MB + 26 MB
Metric- Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success

Metric- Driven Design Verification: An Engineer's and Executive's Guide to First Pass Success by Hamilton B. Carter
English | PDF | 2007 | 366 Pages | ISBN : 0387381511 | 5.10 MB

Exponentially increasing design complexity has necessitated the adoption of metric driven planning and project management. Metric Driven Design Verification provides the semiconductor industry’s first metric driven based approach to functional verification.

Professional Verification: A Guide to Advanced Functional Verification (repost)  eBooks & eLearning

Posted by Veslefrikk at March 16, 2015
Professional Verification: A Guide to Advanced Functional Verification (repost)

Paul Wilcox, «Professional Verification: A Guide to Advanced Functional Verification»
Springer | ISBN: 1402078757 | 2004 | PDF | 225 pages | 4 MB

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools  eBooks & eLearning

Posted by insetes at July 25, 2022
Modeling and Verification of Real-Time Systems: Formalisms and Software Tools

Modeling and Verification of Real-Time Systems: Formalisms and Software Tools By
2008 | 386 Pages | ISBN: 1848210132 | PDF | 5 MB

Rigorous Software Development: An Introduction to Program Verification (repost)  eBooks & eLearning

Posted by tot167 at April 5, 2011
Rigorous Software Development: An Introduction to Program Verification (repost)

José Bacelar Almeida, "Rigorous Software Development: An Introduction to Program Verification"
Sp er; 1st Edition | 2011 | ISBN: 0857290177 | PDF | 307 pages | 2,2 MB
Writing Testbenches - Functional Verification of HDL Models by Janick Bergeron (Repost)

Writing Testbenches - Functional Verification of HDL Models by Janick Bergeron (Repost)
Publisher: Springer; 1 edition (January 1, 2000) | ISBN: 0792377664 | Pages: 384 | PDF | 12.95 MB

Writing Testbenches: Functional Verification of HDL Models first introduces the necessary concepts and tools of verification, then describes a process for carrying out an effective functional verification of a design. This book also presents techniques for applying a stimulus and monitoring the response of a design by abstracting the operations using bus-functional models.

Specification and Verification of Multi-agent Systems (repost)  eBooks & eLearning

Posted by arundhati at Sept. 6, 2016
Specification and Verification of Multi-agent Systems (repost)

Mehdi Dastani, Koen V. Hindriks, "Specification and Verification of Multi-agent Systems"
2010 | ISBN: 1441969837 | 422 pages | PDF | 8 MB

SAT-Based Scalable Formal Verification Solutions  eBooks & eLearning

Posted by insetes at April 1, 2021
SAT-Based Scalable Formal Verification Solutions

SAT-Based Scalable Formal Verification Solutions By Dr. Malay K. Ganai, Dr. Aarti Gupta (auth.)
2007 | 330 Pages | ISBN: 0387691669 | PDF | 22 MB

Embedded Software Verification and Debugging [Repost]  eBooks & eLearning

Posted by ChrisRedfield at Nov. 17, 2018
Embedded Software Verification and Debugging [Repost]

Djones Lettnin, Markus Winterholer - Embedded Software Verification and Debugging
Published: 2017-04-19 | ISBN: 1461422655, 1493979310 | PDF | 208 pages | 8.81 MB
High-Level Verification: Methods and Tools for Verification of System-Level Designs (repost)

High-Level Verification: Methods and Tools for Verification of System-Level Designs
by Sudipta Kundu, Sorin Lerner, Rajesh K. Gupta
English | 2011 | ISBN: 1441993584 | 180 pages | PDF | 2.04 MB