Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages.

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

Browse the full TACAS paper archive.