VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).

Priyanka Darke, Sakshi Agrawal, R. Venkatesh

Browse the full TACAS paper archive.