CS 530
Formal Methods in Software Engineering.
West Virginia University · UGRD · Fall 2026
1 section
Catalog description
PR: CS 430 . Principles of rigorous specification, designing, implementation, and validation of sequential, concurrent, and realtime software; emphasis on reading current papers on these topics.
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #west_virginia_university-0126Fall 2026UGRD3 credits
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?