Filter

Verification

1,038 books found

The Unscom Saga
The Unscom Saga

by Graham S. Pearson

2000 3 ed.
A Roadmap for Formal Property Verification
A Roadmap for Formal Property Verification

by Pallab Dasgupta

2006 3 ed.
Verification by error modeling
Verification by error modeling

by Katarzyna Radecka

2003 3 ed.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation

by Radhia Cousot

2005 3 ed.
Verification techniques for system-level design
Verification techniques for system-level design

by Masahiro Fujita, Masahiro Fujita

2007 3 ed.
Weapons Detective
Weapons Detective

by Rod Barton

2006 3 ed.
On-site inspection in theory and practice
On-site inspection in theory and practice

by George L. Rueckert

1998 3 ed.
Model Checking Software
Model Checking Software

by Ezio Bartocci, C. R. Ramakrishnan

2013 3 ed.
Formal Methods and Software Engineering
Formal Methods and Software Engineering

by Toshiaki Aoki, Kenji Taguchi

2012 3 ed.
Verification, Model Checking, and Abstract Interpretation
Verification, Model Checking, and Abstract Interpretation

by Kenneth McMillan, Xavier Rival

2014 3 ed.
Program Logics for Certified Compilers
Program Logics for Certified Compilers

by Andrew W. Appel, Xavier Leroy

2014 3 ed.
Runtime verification
Runtime verification

by RV 2008 (2008 Budapest, Hungary)

2008 3 ed.
Compliance quantified
Compliance quantified

by Rudolf Avenhaus, Morton John Canty

2005 3 ed.
Building and testing with Gradle
Building and testing with Gradle

by Tim Berglund

2011 3 ed.
SAT-based scalable formal verification solutions
SAT-based scalable formal verification solutions

by Malay Ganai

2007 3 ed.
Education and ethics in the life sciences
Education and ethics in the life sciences

by Brian Rappert

2010 3 ed.
Verification and validation in systems engineering
Verification and validation in systems engineering

by Mourad Debbabi

2010 3 ed.
2008 IEEE International Workshop on Hardware-Oriented Security and Trust, Anaheim, CA, 9 June 2008
2008 IEEE International Workshop on Hardware-Oriented Securi...

by IEEE International Workshop on Hardware-Oriented Security and Trust (2008 Anaheim, Calif.)

2008 3 ed.
Hardware verification with C++
Hardware verification with C++

by Mike Mintz

2006 3 ed.
Hardware Verification With SystemVerilog
Hardware Verification With SystemVerilog

by Mike Mintz, Robert Ekendahl

2007 3 ed.