Index of /~jaan/verification/2016

 Name                         Last modified      Size  Description
 Parent Directory                                  -   
 1_introduction english.ppt   2016-09-05 12:46  3.2M  
 2_bdds english.ppt           2016-09-12 13:35  805K  
 3_sat english.ppt            2015-11-09 11:15  749K  
 4_simulation english.ppt     2016-09-12 13:35  920K  
 5_coverage_english.ppt       2015-11-09 15:47  873K  
 6_assert english.ppt         2015-11-09 12:19  1.5M  
 6_jasper_PSL.ppt             2015-11-09 15:54  908K  
 7_property check english.ppt 2014-12-02 15:45  1.1M  
 8_automated_debug.ppt        2014-11-21 13:56  2.1M  
 9_coding_english.ppt         2015-11-09 17:45  164K  
 Exam.pptx                    2014-12-02 15:25   46K  
 exercises_english.ppt        2015-11-09 16:16  257K