VeriAbs: Verification by Abstraction (Competition Contribution).

Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh

Browse the full TACAS paper archive.