Jensen - Blackhat GMB Verification Course
Jensen - Blackhat GMB Verification Course | 6.48 GB

Learn Blackhat GMB verification methods so you can verify your own GMB properties.
Over the shoulder training and private forum access.
Stop Paying GMB Vendors
Download Now
Real-Time Systems: Scheduling, Analysis, and Verification

Albert M. K. Cheng, "Real-Time Systems: Scheduling, Analysis, and Verification"
English | 2002 | ISBN: 0471184063 | PDF | pages: 550 | 3.5 mb
Download Now

Automated Validation & Verification of UMLOCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by Nils Przigoda
English | 23 Feb. 2018 | ISBN: 331972813X | 268 Pages | PDF | 4.74 MB

Download Now

ANSYS Products 18.x Verification Models
File size: 4.9 GB

A set of verification models for ANSYS 18.x Fluids and Mechanical.

ANSYS offers a comprehensive software suite that spans the entire range of physics, providing access to virtually any field of engineering simulation that a design process requires. Organizations around the world trust ANSYS to deliver the best value for their engineering simulation software investment.

Download Now
Verification and Validation of 3D Free-Surface Flow Models

Environmental and Water Resources Instit, "Verification and Validation of 3D Free-Surface Flow Models"
2009 | ISBN-10: 0784409579 | 502 pages | PDF | 21 MB
Download Now
Trust in Nuclear Disarmament Verification
Trust in Nuclear Disarmament Verification By Wyn Q. Bowen
English | PDF,EPUB | 2018 | 179 Pages | ISBN : 3319409875 | 2.05 MB

This book explores how human factors, in particular the contested notion of trust, influence the conduct and practice of arms control verification.
Download Now
Computer Aided Verification: 28th International Conference, Part I

Computer Aided Verification: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I by Swarat Chaudhuri, Azadeh Farzan
English | 2016 | ISBN: 3319415271 | 541 Pages | PDF | 36.5 MB
The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th International Conference on Computer Aided Verification, CAV 2016, held in Toronto, ON, USA, in July 2016.
Download Now
http://i91.fastpic.ru/big/2017/0923/59/2c1a7375bec81864ca8059629ce49559.jpg
SystemVerilog Verification -1: Start Learning TB Constructs
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 1.5 Hours | Lec: 21 | 173 MB
Genre: eLearning | Language: English

VLSI : Learn Systemverilog - Begin your System Verilog learning from the basics to build expertise in SOC verification

This course contains video lectures of 1 hour duration. It is stared by explaining what is design and verification code in System Verilog and how they are different.
Download Now
PHP Graphic Techniques CAPTCHA Create a verification code

PHP Graphic Techniques CAPTCHA Create a verification code
MP4 | Video: AVC 1280x720 | Audio: AAC 44KHz 2ch | Duration: 43M | Lec: 11 | 106 MB
Genre: eLearning | Language: English
All course examples have been proved to work under PHP5
Download Now
Simulation and Verification of Electronic and Biological Systems

Simulation and Verification of Electronic and Biological Systems by Peng Li, Luís Miguel Silveira, and Peter Feldmann
English | 2011 | ISBN: 9400701489 | 200 pages | PDF | 4,2 MB
Download Now