Computer Security Resource Center

Computer Security Resource Center

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

Briefing

Testing with Model Checker: Insuring Fault Visibility

January 1, 2003

Presenters

Vadim Okun

Paul Black

Yaacov Yesha

Media Items
Testing with Model Checker: Insuring Fault Visibility PDF
Created October 19, 2016, Updated June 22, 2020