Incremental Verification by Abstraction.

Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre

Browse the full TACAS paper archive.