Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski. Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). In Bernd Finkbeiner, Laura Kovács, editors, Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III. Volume 14572 of Lecture Notes in Computer Science, pages 418-423, Springer, 2024. [doi]

This author has not been identified. Look up 'Frank Schüssele' in GoogleThis author has not been identified. Look up 'Manuel Bentele' in GoogleThis author has not been identified. Look up 'Daniel Dietsch' in GoogleThis author has not been identified. Look up 'Matthias Heizmann' in GoogleThis author has not been identified. Look up 'Xinyu Jiang' in GoogleThis author has not been identified. Look up 'Dominik Klumpp' in GoogleThis author has not been identified. Look up 'Andreas Podelski' in Google

runs on WebDSL