Skip to main content

VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution)

Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basak Chowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla

DOI 10.1007/978-3-319-89963-3_32 dblp BibTeX

Abstract elided by the publisher.

Related papers

VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution) TACAS 2020
VeriAbs: Verification by Abstraction (Competition Contribution) TACAS 2017
VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution) TACAS 2021
VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) TACAS 2023
CPAchecker 4.0 as Witness Validator - (Competition Contribution) TACAS 2025
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution) TACAS 2023
Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator TACAS 2023
EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution) TACAS 2025