Verification - Books

· 21 Cfr Part 11: Complete Guide to International Computer Validation Compliance for the Pharmaceutical Industry
· Assertion-Based Design
· Compositional Verification of Concurrent and Real-Time Systems (Kluwer International Series in Engineering and Computer Science, 676)
· Computer Aided Verification: 3rd International Workshop, Cav 92: Proceedings (Lecture Notes in Computer Science, Vol 575)
· Design Verification with e
· Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287)
· Formal Methods in Computer-Aided Design
· Good Computer Validation Practices: Common Sense Implementation
· Independent Verification and Validation : A Life Cycle Engineering Process for Quality Software
· Introduction to Formal Hardware Verification
· Model Checking
· Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)
· Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques (Frontiers in Electronic Testing, V. 9)
· Software Verification and Validation: A Practitioner's Guide (Artech Computer Science Library)
· Spin Model Checking and Software Verification: 7th International Spin Workshop Stanford, Ca, Usa, August 30-September 1, 2000 Proceedings (Lecture Notes in Computer Science, 1885)
· Systems and Software Verification: Model-Checking Techniques and Tools
· The Foundations of Program Verification, 2nd Edition
· Timing Verification of Application-Specific Integrated Circuits (ASICs)
· Toward Zero Defect Programming
· Verification and Validation of Modern Software-Intensive Systems
· Verification and Validation of Rule-Based Expert Systems
· Verification by Error Modeling: Using Testing Techniques in Hardware Verification (Frontiers in Electronic Testing, ?25)
· Verification of Computer Codes in Computational Science and Engineering
· Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science)
· Verification of Sequential and Concurrent Programs (2nd Ed) (Graduate Texts in Computer Science)
· Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages
· Verification, Model Checking, and Abstract Interpretation
· Verification, Model Checking, and Abstract Interpretation: 4th International Conference, Vmcai 2003, New York, Ny, Usa, January 2003: Proceedings (Lecture Notes in Computer Science, 2575)
· Writing Testbenches: Functional Verification of HDL Models, Second Edition