Filter

Verification

1,030 books found

Compositional verification of concurrent and real-time systems
Compositional verification of concurrent and real-time syste...

by Eric Y. T. Juan, Eric Y.T. Juan

2002 4 ed.
Validation, verification, and testing for the individual programmer
Validation, verification, and testing for the individual pro...

by Martha A. Branstad

1980 4 ed.
SystemVerilog for Verification
SystemVerilog for Verification

by Chris Spear

2006 4 ed.
The Poet's Handbook
The Poet's Handbook

by Judson Jerome

1980 4 ed.
A framework for the development and assurance of high integrity software
A framework for the development and assurance of high integr...

by Dolores R. Wallace

1994 4 ed.
Software engineering reviews and audits
Software engineering reviews and audits

by Boyd L. Summers

2011 4 ed.
Unfoldings
Unfoldings

by Javier Esparza

2008 4 ed.
Treaty on Open Skies
Treaty on Open Skies

by United States. Defense Threat Reduction Agency

2003 4 ed.
Logic synthesis and verification algorithms
Logic synthesis and verification algorithms

by Gary D. Hachtel

1996 4 ed.
Verification 1997
Verification 1997

by Richard Guthrie

2018 4 ed.
Scalable Techniques for Formal Verification
Scalable Techniques for Formal Verification

by Sandip Ray

2010 4 ed.
Verification methodology manual for SystemVerilog
Verification methodology manual for SystemVerilog

by Janick Bergeron, Eduard Cerny

2005 4 ed.
Validation, verification, and testing of computer software
Validation, verification, and testing of computer software

by W. Richards Adrion

1981 4 ed.
Verification
Verification

by United States. Arms Control and Disarmament Agency.

1976 4 ed.
The Greatest Threat
The Greatest Threat

by Richard Butler

2000 4 ed.
Arms control verification
Arms control verification

by Kosta Tsipis, David W. Hafemeister

1986 3 ed.
Reference information for the software verification and validation process
Reference information for the software verification and vali...

by Dolores R. Wallace

1996 3 ed.
Concurrency verification
Concurrency verification

by W.-P. de Roever, Willem-Paul de Roever

2001 3 ed.
Verification in conventional arms control
Verification in conventional arms control

by Volker Kunzendorff

1989 3 ed.
Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request
Using formal methods to assist in the requirements analysis ...

by Ben L. Di Vito

1996 3 ed.