Sciduction: Combining Induction, Deduction, and Structure for
Verification and Synthesis

Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis

4 January 2012

Sanjit A. Seshia

ArXiv (abs)PDF HTML

Papers citing "Sciduction: Combining Induction, Deduction, and Structure for Verification and Synthesis"

Title
No papers