VERIGE: Verification with Invariant Generation Engine

TitleVERIGE: Verification with Invariant Generation Engine
Publication TypeConference Paper
Year of Publication2014
AuthorsLatorre, N., Alberti Francesco, and Sharygina Natasha
Conference NameSPIN
PublisherACM
Full Text