Verification
Featured — award winners and classics first, when available. Use “Show different books” for a new selection.
🔄 Show different books
The United Nations and Iraq
The Politics of Verification
Principles of model checking
The greatest threat
The politics of weapons inspections
The hit
A brief history of the On-Site Inspection Agency
Data refinement
Writing testbenches using System Verilog
Endgame
Verifiable programming
Deadly arsenals
Verification methodology manual for SystemVerilog
The Greatest Threat
An introduction to formal program verification
Disarmament, its politics and economics
Deadly arsenals
Verification of sequential and concurrent programs
Compliance quantified
Inspection for disarmament
Disarming Iraq
SystemVerilog for Verification
Logic synthesis and verification algorithms
Probate Kit for Alberta
Conventional arms control
Model checking
Reviewing the Nuclear Nonproliferation Treaty (NPT)
Verification of sequential and concurrent programs
Computer-aided verification of coordinating processes
