Noam Zilberstein

1. Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects
   2024/01/09 by Noam Zilberstein, Zilberstein, Noam · 2 citations
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
2. Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
   2024/11/18 by Noam Zilberstein, Zilberstein, Noam, Alexandra Silva +3 · 1 voice · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL
3. Oblivious Probabilistic Outcome Logic: Verifying Probabilistic Programs with an Oblivious Adversary
   2026/07/17 by Hanxi Chen, Noam Zilberstein, Andrew C. Myers +1
   #cs.PL #cs.LO