Quartz 4
Search
Search
Dark mode
Light mode
Explorer
Home
❯
School
❯
Exersises
❯
s7
❯
ITV
❯
examprep
Folder: School/Exersises/s7/ITV/examprep
7 items under this folder.
Jan 17, 2026
1 Black-box testing
Jan 17, 2026
2 White-box testing
Jan 17, 2026
3 Other testing paradigms
Jan 17, 2026
4 Hoare logic & Hoare calculus
Jan 17, 2026
5 Weakest precondition
Jan 17, 2026
6 Other verification paradigms
Jan 17, 2026
EXAM