Scalable specification mining for verification and diagnosis.

Wenchao Li, Alessandro Forin, Sanjit A. Seshia

Browse the full DAC paper archive.