courses.uww.edu »
SOFTWARE SPECIFICATION AND VERIFICATION
SOFTWARE SPECIFICATION AND VERIFICATION
2019 Summer Term
3 Units
Computer Science 778
An overview of languages, logics, techniques, and tools used to specify, analyze, and verify software systems. Students apply these formal methods to model software systems and verify their correctness, study industrial applications of formal methods for critical software components, and research new developments in this area.
Other Requirements: PREREQ: ADMISSION TO GRADUATE PROGRAM IN COMPUTER SCIENCE
Class Schedule
Disclaimer
- This schedule is informational and does not guarantee availability for registration.
- Sections may be full or not open for registration. Please use WINS if you wish to register for a course.
