| |
Apr 18, 2024
|
|
|
|
|
CS 6571 - Software Specification
How software specifications are expressed and used. Emphasis on formal specifications and use of formal specifications in software verification and validation. Important formal specification models, including algebraic and axiomatic models, state/transition-based models, and temporal logic models, along with their related analysis techniques explored.
Requisites: CS 5560
Credit Hours: 3
Repeat/Retake Information: May not be retaken.
Lecture/Lab Hours: 3.0 lecture
Grades: Eligible Grades: A-F,WP,WF,WN,FN,AU,I
Learning Outcomes:
- Students will gain knowledge of current research topics related to software specifications, e.g., model checking.
Add to Portfolio (opens a new window)
|
|
