Cited By
View all- Li YZhan BPang J(2024)Mechanizing the CMP Abstraction for Parameterized VerificationProceedings of the ACM on Programming Languages10.1145/36498588:OOPSLA1(1324-1350)Online publication date: 29-Apr-2024
- Honoré WQiu LKim YShin JKim JShao Z(2024)AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed ObjectsProceedings of the ACM on Programming Languages10.1145/36498268:OOPSLA1(419-448)Online publication date: 29-Apr-2024
- Elad NPadon OShoham S(2024)An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive VerificationProceedings of the ACM on Programming Languages10.1145/36328758:POPL(970-1000)Online publication date: 5-Jan-2024
- Show More Cited By