Computer Security Resource Center

Computer Security Resource Center

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

Presentation

Automated Testing with ACTS and a Model Checker

September 2, 2014
Media Items
Automated Testing with ACTS and a Model Checker PDF
Created October 13, 2016, Updated June 22, 2020