2021-2022 Graduate Course Catalog 
    
    Mar 28, 2024  
2021-2022 Graduate Course Catalog [ARCHIVED CATALOG]

CIS 632 - Modeling Concurrent Systems

College of Engineering and Computer Science
3 credit(s) Upon sufficient interest
Formal methods for specifying, modeling, and analyzing concurrent systems, and mathematical basis for such methods. Automated and semi-automated tools to apply these methods to analyze emergent behavior of computing related applications.
PREREQ: CIS 607 /CSE 607