Supratik Chakraborty

• Automated Technology for Verification and Analysis
• Verified Software. Theories, Tools, and Experiments