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