Computing Abstractions of Infinite State Systems Compositionally and Automatically.

Saddek Bensalem, Yassine Lakhnech, Sam Owre

Browse the full CAV paper archive.