Oct 06, 2024  
OHIO University Graduate Catalog 2020-21 
    
OHIO University Graduate Catalog 2020-21 [Archived Catalog]

Add to Portfolio (opens a new window)

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)