Class notes
Software specification, testing and verification
- Course
- CS 295
- Institution
- Stratford University
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 technology underlying these tools.
[Show more]