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
- Florida
- University of South Florida-Main Campus
- Course info
- cda-5416 - computer-system-verification
University of South Florida-Main Campus Course Info
Tampa, Florida•
8 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.
CDA 5416
Computer System Verification
This course introduces basic concepts of formal verification. Topics include formal specification, algorithms, and methodologies for scalable verification. It is only for CSE majors or non-majors with permission from the instructor, not repeatable.
Units: 3.0
Prerequisites:
COP 4530 - Data Structures
and
COT 4400 - Analysis of Algorithms
and
COT 3100 - Introduction to Discrete Structures
and
CDA 3201 - Computer Logic and Design