IDR - IIT Kharagpur

Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles

Formal Methods for Accelerating Formal, Semi-formal and Dynamic Property Verification through Novel Specification Styles

 

Author: Ansuman Banerjee
Supervisors: Prof. Pallab Dasgupta and Prof. P.P.Chakrabarti
Department of Ocean Engineering and Naval Architecture
Indian Institute of Technology Kharagpur, India
August, 2007

Recent Submissions