VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Priyanka Darke, Bharti Chimdyalwar, Sakshi Agrawal, Shrawan Kumar, R. Venkatesh 0001, Supratik Chakraborty. VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction (Competition Contribution). In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Volume 13994 of Lecture Notes in Computer Science, pages 588-593, Springer, 2023. [doi]

This author has not been identified. Look up 'Priyanka Darke' in GoogleThis author has not been identified. Look up 'Bharti Chimdyalwar' in GoogleThis author has not been identified. Look up 'Sakshi Agrawal' in GoogleThis author has not been identified. Look up 'Shrawan Kumar' in GoogleThis author has not been identified. Look up 'R. Venkatesh 0001' in GoogleThis author has not been identified. Look up 'Supratik Chakraborty' in Google

runs on WebDSL