Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

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 December 07, 2016