Preview 4 out of 45 pages
Class notes
testing and verification. The emphasis is on automated tools for developing reliable software. The course covers material---drawn primarily from recent research papers
Preview 4 out of 45 pages
software specification, testing and verification. The emphasis is on automated tools for developing reliable software. The course covers material---drawn primarily from recent research papers---on the
Document information
- Uploaded on
- July 9, 2023
- Number of pages
- 45
- Written in
- 2022/2023
- Type
- Class notes
- Professor(s)
- Tanishq chaudhary
- Contains
- All classes
$8.77
Wrong document? Swap it for free
Within 14 days of purchase and before downloading, you can choose a different document. You can simply spend the amount again.
Written by students who passed
Immediately available after payment
Read online or as PDF