The following publications are possibly variants of this publication:
- VeriAbs: Verification by Abstraction (Competition Contribution)Bharti Chimdyalwar, Priyanka Darke, Avriti Chauhan, Punit Shah, Shrawan Kumar, R. Venkatesh. TACAS 2017: 404-408 [doi]
- VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution)Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basakchowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla. TACAS 2018: 457-462 [doi]
- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)Mohammad Afzal, Supratik Chakraborty, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Ashutosh Gupta, Shrawan Kumar, Charles Babu M, Divyesh Unadkat, R. Venkatesh. TACAS 2020: 383-387 [doi]
- VeriAbs : Verification by Abstraction and Test GenerationMohammad Afzal, A. Asia, Avriti Chauhan, Bharti Chimdyalwar, Priyanka Darke, Advaita Datar, Shrawan Kumar, R. Venkatesh. ASE 2019: 1138-1141 [doi]
- VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution)Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh 0001, Supratik Chakraborty. TACAS 2023: 588-593 [doi]