CS 118
Automata-Theoretic Software Analysis
9 units (3-3-3)
|
second term
An introduction to the use of automata theory in the formal analysis of both concurrent and sequentially executing software systems. The course covers the use of logic model checking with linear temporal logic and interactive techniques for property-based static source code analysis. Not offered 2025-26.
Instructor:
Staff
Published Date:
Aug. 28, 2025