IDR - IIT Kharagpur

Accelerating Multi-Property Formal Verification with Intrinsic Planning

Accelerating Multi-Property Formal Verification with Intrinsic Planning

 

Author: Sourav Das
Supervisors: Dr. Aritra Hazra and Dr. Pallab Dasgupta
Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, India
June, 2026

Recent Submissions