Modeling and Verification

The modeling and verification field involves the use of mathematical models and rigorous methods to analyze and verify the correctness of software and systems. Some of the topics faculty and students in these areas explore include the following:

• Automated reasoning
• Formal methods
• Model checking
• Software testing
• Theorem proving

Core Faculty

Stanley Bak

View Profile

Omar Chowdhury

View Profile

C.R. Ramakrishnan

View Profile

Scott Smolka

View Profile

Scott Stoller

View Profile

Anita Wasilewska

View Profile