This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.
Stand with UkraineDonate
- Home
- Vermont
- University of Vermont
- Course info
- cs-226 - qr-software-verification
University of Vermont Course Info
Burlington, Vermont•
2 reviews
Course Info
Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.
CS 226
QR:Software Verification
Principles and practice of software specification and verification. Design of algorithms which are verified correct using interactive or automated, software-based tools. Emphasis on the design space for software specification, and the spectrum of verification goals ranging from shallow to deep verification. Includes a course project.
Units: 3.0
Prerequisites:
CS 125 - QR: Computability& Complexity
and
CS 124 - QR: Data Struc & Algorithms