Cited By
View all- Farzan AKlumpp DPodelski A(2024)Commutativity Simplifies Proofs of Parameterized ProgramsProceedings of the ACM on Programming Languages10.1145/36329258:POPL(2485-2513)Online publication date: 5-Jan-2024
- Yao JTao RGu RNieh J(2024)Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking FunctionsProceedings of the ACM on Programming Languages10.1145/36328778:POPL(1028-1059)Online publication date: 5-Jan-2024
- Heizmann MKlumpp DNitzke LSchüssele F(2024)Petrification: Software Model Checking for Programs with Dynamic Thread ManagementVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-50521-8_1(3-25)Online publication date: 15-Jan-2024
- Show More Cited By