Index of /SoftwareReliability/2016-2017/notes

 Name                                Last modified      Size  Description
 Parent Directory                                         -   
 01-Introduction.pdf                 2017-10-03 14:30  504K  
 02-StaticProgramVerification.pdf    2017-10-03 14:30  633K  
 03-StaticProgramVerificationCtd.pdf 2017-10-03 14:30  819K  
 04-BoundedModelChecking.pdf         2017-10-03 14:30  476K  
 05-DynamicSymbolicExecution.pdf     2017-10-03 14:30  1.9M  
 06-SAT-Solving.pdf                  2017-10-03 14:30  448K  
 07-SMT-Solvers.pdf                  2017-10-03 14:30  255K  
 08-Houdini.pdf                      2017-10-03 14:30  535K  
 09-Races-Eraser.pdf                 2017-10-03 14:30  508K  
 10-SystematicConcurrencyTesting.pdf 2017-10-03 14:30  900K  
 11-KLEE-intro-and-demo.pdf          2017-10-03 14:30  1.6M  
 12-UndefinedBehaviour.pdf           2017-10-03 14:30  524K  
 13-CompilerTesting.pdf              2017-10-03 14:30  296K  
 14-SafeC-Compilers.pdf              2017-10-03 14:30  699K  
 15-Security.pdf                     2017-10-03 14:30  773K  
 RodChapman.pdf                      2017-10-03 14:30  1.6M