Optimized L*-Based Assume-Guarantee Reasoning.

Sagar Chaki, Ofer Strichman

Browse the full TACAS paper archive.