Livres de verification
30 livres dans ce genre
Verification, Model Checking, and Abstract Interpretation
Radhia Cousot
Correct hardware design and verification methods
CHARME'99 (1999 Bad Herrenalb, Germany)
Model Checking Software
Ezio Bartocci
Computer Aided Vertification
Gerhard Goos
A Treaty on the Cutoff of Fissile Material for Nuclear Weapons - What to Cover? How to Verify? (PRIF reports)
Annette Schaper
SAT-based scalable formal verification solutions
Malay Ganai
Arms control verification
William F. Rowell
Reversing the arms race
Frank Von Hippel
Compiler Specification And Verification
W. Polak
Verification, model checking, and abstract interpretation
VMCAI 2004 (Conference) (2004 Venice, Italy)
Trustworthy global computing
TGC 2007 (2007 Sophia-Antipolis, France)
Verification Practice under the Chemical Weapons Convention:A Commentary
Walter Krutzsch
Practical design verification
Dhiraj K. Pradhan
The security situation on the Korean Peninsula
United States. Congress. House. Committee on Foreign Affairs. Subcommittee on International Security, International Organizations, and Human Rights.
Developments in North Korea
United States. Congress. House. Committee on Foreign Affairs. Subcommittee on Asia and the Pacific.
Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi
Software reviews and audits handbook
Charles P. Hollocker
Aerial reconnaissance for verification of arms limitation agreements
Allen V. Banner
Verification of sequential and concurrent programs
Krzysztof R. Apt
Formal methods for performance evaluation
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (7th 2007 Bertinoro, Italy)