Formal Methods & Verification Research Group

Project

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

 

Category: