Formal Methods & Verification Research Group

The focus of Formal Methods and Verification Group is to develop formal techniques and tools for automatic verification and analysis of systems.

Funding Organization