![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| basic_idea.cdd | 2009-07-16 16:33 | 99K | |
| basic_idea.pdf | 2009-07-16 16:33 | 34K | |
| daisy_locking.cdd | 2009-07-16 16:33 | 95K | |
| daisy_locking.pdf | 2009-07-16 16:33 | 34K | |
| daisy_locking_states.cdd | 2009-07-16 16:33 | 121K | |
| daisy_locking_states.pdf | 2009-07-16 16:33 | 44K | |
| jpf_example.cdd | 2009-07-16 16:33 | 92K | |
| jpf_example.pdf | 2009-07-16 16:33 | 19K | |
| jpf_test_system.cdd | 2009-07-16 16:33 | 140K | |
| jpf_test_system.pdf | 2009-07-16 16:33 | 91K | |
| jpf_test_system_vs_unitchecker.cdd | 2009-07-16 16:33 | 131K | |
| jpf_test_system_vs_unitchecker.pdf | 2009-07-16 16:33 | 33K | |
| junit_as_part_of_test.cdd | 2009-07-16 16:33 | 123K | |
| junit_as_part_of_test.pdf | 2009-07-16 16:33 | 39K | |
| mji.cdd | 2009-07-16 16:33 | 181K | |
| mji.pdf | 2009-07-16 16:33 | 63K | |
| mji_concrete.cdd | 2009-07-16 16:33 | 123K | |
| mji_concrete.pdf | 2009-07-16 16:33 | 49K | |
| more_tests.cdd | 2009-07-16 16:33 | 193K | |
| more_tests.pdf | 2009-07-16 16:33 | 38K | |
| paper_diagram.cdd | 2009-07-16 16:33 | 149K | |
| paper_diagram.pdf | 2009-07-16 16:33 | 43K | |
| unitcheck_arch.cdd | 2009-07-16 16:33 | 148K | |
| unitcheck_arch.pdf | 2009-07-16 16:33 | 43K | |