Guarded commands, nondeterminacy and formal derivation of programs

• IC3 for Loop Invariant Generation in Deductive Analysis

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  0

  citations
• A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

  2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  3

  citations
• J-P: MDP. FP. PP

  2024 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  2

  citations
• Quantum Computing: From Weakest Preconditions to Voltage Pulses

  2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture

  0

  citations
• Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs

  2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  citations
• Lower Bounds for Possibly Divergent Probabilistic Programs

  2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  14

  citations
• Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach

  2022 Information Sciences article Computer Science Formal Methods in Verification Open access

  3

  citations
• Weighted programming: a programming paradigm for specifying mathematical models

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  18

  citations
• Does a Program Yield the Right Distribution?

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  14

  citations

9 results