Verification
Featured — award winners and classics first, when available. Use “Show different books” for a new selection.
🔄 Show different books
Verification of sequential and concurrent programs
Computer-aided verification of coordinating processes
Wills for Ontario
The Poet's Handbook
Bibliography of arms control verification
Modelling distributed systems
Verifying treaty compliance
Methods and procedures for the verification and validation of artificial neural networks
Modeling in event-b
Saddam's Secrets
Saddam Defiant
Formal equivalence checking and design debugging
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
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