IDR - IIT Kharagpur

Formal Analysis of Property Specifications Consistency, Coverage and Synthesis

Formal Analysis of Property Specifications Consistency, Coverage and Synthesis

 

Author: Sayantan Das
Supervisors: Dr. Pallab Dasgupta and Dr. Partha Pratim Chakrabarti
Department of Computer Science and Engineering
Indian Institute of Technology Kharagpur, India
October, 2006

Recent Submissions