Learning Minimal Separating DFA's for Compositional Verification.

Yu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang

Browse the full TACAS paper archive.