Verification

Reachability Problems: 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013, Proceedings

Parosh Aziz Abdulla, Igor Potapov

Endgame : Solving the Iraq Problem -- Once and For All

Scott Ritter

Arms control: U.S. efforts to control the transfer of nuclear-capable missile technology : report to the Honorable Dennis DeConcini, U.S. Senate

United States General Accounting Office.

Principles of Model Checking

Christel Baier, Joost-Pieter Katoen

Disarming Iraq

Hans Blix

Verification and validation of complex systems: human factors issues

edited by John A. Wise, V. David Hopkin, Paul Stager.

On-site inspections under the CFE treaty: a history of the on-site inspection agency and CFE Treaty implementation, 1990-1996

Joseph P. Harahan, John C. Kuhn, III.

Verification: How Much Is Enough?

Allan S. Krass, Stockholm International Stockholm International Peace Research Institute

Verification Methodology Manual for SystemVerilog

Eduard Cerny, Alan Hunter, Andy Nightingale, Janick Bergeron

Model Checking

Edmund M. Clarke Jr., Doron A. Peled, Orna Grumberg