Verification
Featured — award winners and classics first, when available. Use “Show different books” for a new selection.
🔄 Show different books
Co-verification of hardware and software for ARM SoC design
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
Browse free books to read online
Book Explorer lets readers browse the free, readable part of the Open Library catalogue by familiar genres, or by the exact subject tags Open Library assigns each book. Every book has its own page with a reader where one is available, plus links to Open Library, your library, Libby and Amazon.
Fiction
- All Fiction
- Literary Fiction
- Children's Fiction
- Mystery & Detective
- Romance
- Fantasy
- Thriller & Suspense
- Historical Fiction
- Science Fiction
- Graphic Novels & Comics
- Humor
- Short Stories
- Horror
- Young Adult Fiction
- Western
Non-fiction
- All Non-fiction
- History
- Biography & Memoir
- Religion & Spirituality
- Politics & Social Sciences
- Travel
- Philosophy
- Business & Economics
- Science
- Art & Photography
- Cooking
- Self-Help
- Music
- Health & Fitness
- Sports & Recreation
- Humor
- True Crime