Cited By
View all- Hainry EPéchoux R(2023)A General Noninterference Policy for Polynomial TimeProceedings of the ACM on Programming Languages10.1145/35712217:POPL(806-832)Online publication date: 11-Jan-2023
- Padon OLosa GSagiv MShoham S(2017)Paxos made EPR: decidable reasoning about distributed protocolsProceedings of the ACM on Programming Languages10.1145/31405681:OOPSLA(1-31)Online publication date: 12-Oct-2017
- Feldman YPadon OImmerman NSagiv MShoham S(2017)Bounded Quantifier Instantiation for Checking Inductive InvariantsProceedings, Part I, of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems - Volume 1020510.1007/978-3-662-54577-5_5(76-95)Online publication date: 22-Apr-2017
- Show More Cited By