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

researchr

You are not signed in
Sign in
Sign up

Priyanka Darke, Sumanth Prabhu, Bharti Chimdyalwar, Avriti Chauhan, Shrawan Kumar, Animesh Basakchowdhury, R. Venkatesh, Advaita Datar, Raveendra Kumar Medicherla. VeriAbs: Verification by Abstraction and Test Generation - (Competition Contribution). In Dirk Beyer 0001, Marieke Huisman, editors, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II. Volume 10806 of Lecture Notes in Computer Science, pages 457-462, Springer, 2018. [doi]

This author has not been identified. Look up 'Priyanka Darke' in GoogleThis author has not been identified. Look up 'Sumanth Prabhu' in GoogleThis author has not been identified. Look up 'Bharti Chimdyalwar' in GoogleThis author has not been identified. Look up 'Avriti Chauhan' in GoogleThis author has not been identified. Look up 'Shrawan Kumar' in GoogleThis author has not been identified. Look up 'Animesh Basakchowdhury' in GoogleThis author has not been identified. Look up 'R. Venkatesh' in GoogleThis author has not been identified. Look up 'Advaita Datar' in GoogleThis author has not been identified. Look up 'Raveendra Kumar Medicherla' in Google

runs on WebDSL