VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution).

Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh, Supratik Chakraborty

Browse the full TACAS paper archive.