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:
The focus of Formal Methods and Verification Group is to develop formal techniques and tools for automatic verification and analysis of systems.