Cited By
View all- Zilberstein NKozen DSilva ATassarotti J(2025)A Demonic Outcome Logic for Randomized NondeterminismProceedings of the ACM on Programming Languages10.1145/37048559:POPL(539-568)Online publication date: 9-Jan-2025
- Verbeek FSefat MFu ZRavindran B(2025)On Extending Incorrectness Logic with Backwards ReasoningProceedings of the ACM on Programming Languages10.1145/37048509:POPL(391-415)Online publication date: 9-Jan-2025
- Zhang LZilberstein NKaminski BSilva A(2024)Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate TransformersProceedings of the ACM on Programming Languages10.1145/36897408:OOPSLA2(817-845)Online publication date: 8-Oct-2024
- Show More Cited By