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