EECS 755
Elect Engr & Computer Science - Software Modeling and Analysis
University of Kansas · Fall 2026
1 section1 open now
Catalog description
Modern techniques for modeling and analyzing software systems. Course coverage concentrates on pragmatic, formal modeling techniques that support predictive analysis. Topics include formal modeling, static analysis, and formal analysis using model checking and theorem proving systems. Prerequisite: EECS 368 or equivalent.
Sections
Current meeting, instructor, credit, and enrollment details
1000
22 openSeats: 8/30 seats Last recorded: Jul 30, 2026, 1:16 AMClass #24053Fall 20263 credits
22 available8 enrolled30 capacity
- Days & times
- Tu Th · 2:00 – 3:15 PM
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Section notes
Source career: GRDL
Details checked 15 hours agoSeats checked 15 hours ago
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?