Cited By
View all- Heizmann MBarth MDietsch DFichtner LHoenicke JKlumpp DNaouar MSchindler TSchüssele FPodelski A(2023)Ultimate Automizer and the CommuHash Normal FormTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-30820-8_39(577-581)Online publication date: 20-Apr-2023
- Dobos-Kovács MVörös A(2022)Evaluation of SMT solvers in abstraction-based software model checkingProceedings of the 11th Latin-American Symposium on Dependable Computing10.1145/3569902.3570187(109-116)Online publication date: 21-Nov-2022
- Beyer DHaltermann JLemberger TWehrheim HDwyer MDamian DZeller A(2022)Decomposing software verification into off-the-shelf componentsProceedings of the 44th International Conference on Software Engineering10.1145/3510003.3510064(536-548)Online publication date: 21-May-2022
- Show More Cited By