Explore Books on
verification

Arms control

By United States. General Accounting Office

Reachability Problems

By Parosh Aziz Abdulla,Igor Potapov

On-Site Inspection Agency

By United States. Congress. House. Committee on Armed Services. Readiness Subcommittee.

On-site inspections under the CFE treaty

By Joseph P. Harahan

Verification 1995

By J. B. Poole

Verification

By Allan S. Krass

Verification 1996

By J. B. Poole,R. Guthrie

U.S. costs of verification and compliance under pending arms treaties

By Michael E. O'Hanlon

Reconfigurable system design and verification

By Pao-Ann Hsiung

Listening for the Bomb

By Philip G. Schrag

Challenges of Verification

By Heinz Gaertner

Verification of systems and circuits using LOTOS, Petri Nets, and CCS

By Michael Yoeli,Michael Yoeli,Rakefet Kol

Dismantling the Iraqi Nuclear Programme

By Gudrun Harrer

Libya and Nuclear Proliferation

By Wyn Q. Bowen

Modeling in event-b

By Jean-Raymond Abrial

Practical design verification

By Dhiraj K. Pradhan

Data flow analysis

By Uday Khedker,Amitabha Sanyal,Bageshri Karkare

The UN inspections in Iraq

By Kathleen C. Bailey

Assertion-based design

By Harry Foster,Harry D. Foster,Adam C. Krolnik,David J. Lacey

Endgame

By Scott Ritter

A brief history of the On-Site Inspection Agency

By David M. Willford

U.S. policy toward Iraq

By United States. Congress. House. Committee on International Relations.

Chemical Weapons Convention Chemicals Analysis

By Markku Mesilaakso

EDA for IC system design, verification, and testing

By Luciano Lavagno,Grant Martin,Louis Scheffer