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

Presentation

Automated Testing with ACTS and a Model Checker

September 2, 2014
Created October 13, 2016, Updated June 22, 2020