Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Noam Zilberstein

Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning

scientific article published on 06 April 2023

Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects

scientific article published on 29 April 2024

Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers

scientific article published on 08 October 2024

Unified Analysis Techniques for Programs with Outcomes

scientific article published on 17 October 2024

Paulina is supported by:

About Paulina

Help