Cited By
View all- Baier DBeyer DChien PJakobs MJankola MKettl MLee NLemberger TLingsch-Rosenfeld MWachowitz HWendler P(2024)Software Verification with CPAchecker 3.0: Tutorial and User GuideFormal Methods10.1007/978-3-031-71177-0_30(543-570)Online publication date: 9-Sep-2024
- Baier DBeyer DChien PJankola MKettl MLee NLemberger TLingsch-Rosenfeld MSpiessl MWachowitz HWendler P(2024)CPAchecker 2.3 with Strategy SelectionTools and Algorithms for the Construction and Analysis of Systems10.1007/978-3-031-57256-2_21(359-364)Online publication date: 6-Apr-2024
- Kondratyev D(2023)Logic for reasoning about bugs in loops over data sequences (IFIL)Modeling and Analysis of Information Systems10.18255/1818-1015-2023-3-214-23330:3(214-233)Online publication date: 17-Sep-2023
- Show More Cited By