
---------------------------------------------------------------
Testing: 

farn.LEC1.introduction.pdf
Testing-Introduction.ppt
Software Testing UT12.ppt
Testing_l1.ppt
Ch1-junit.ppt

---------------------------------------------------------------
Verification:

formal_01a.introduction.pdf

1_PropLogic.ppt

4_PredCalculus.ppt

formal_04.temporal_logics_and_model_checking.pdf

bdd.ppt

Partial_order.course1.ppt

Process Algebra.UT10.ppt
 
PETRINET