Apr 13, 2025  
2017-2018 Graduate Catalog 
    
Catalog Navigation
Catalog Home
Colleges & Departments
Courses
Degrees & Certificates Offered
Graduate School Policies
About the Catalog
About the University
All-University Regulations
Auxiliary Services and Facilities
Calendar
Disclosures
Enrollment
Glossary and Abbreviations
Grades
Graduate School Admission
International Programs
K-State Athletics
K-State Research and Extension
Online Programs
Research Facilities and Centers
Services for Students
Student Financial Assistance
Support Services
Tuition and Fees
University Faculty and Professional Staff
KSIS
K-State Libraries
K-State Online
WebMail
My Portfolio
2017-2018 Graduate Catalog [ARCHIVED CATALOG] Add to Portfolio (opens a new window)

CIS 842 - Specification and Verification of Reactive Systems

Credits: 3

Review of formal specification languages; architecture of concurrent and reactive systems; specification methods including: Z, Petri nets, temporal logic, state transition models; development and evaluation of system specifications; verification structures including layered systems, serialization, and predicate automata.

Requisites:
Prerequisite: CIS 771.


KSIS Course Search



Add to Portfolio (opens a new window)