Computer Security Resource Center

Computer Security Resource Center

This is an archive
(replace .gov by .rip)
    Presentations 2003

Briefing

Issues in Software Testing with Model Checkers

January 1, 2003

Presenters

Vadim Okun

Paul Black

Media Items
Issues in Software Testing with Model Checkers PDF
Created October 19, 2016, Updated June 22, 2020