On a Simple Problem Due to Yves Bertot
Abstract elided by the publisher.
Related papers
- Toward Liveness Proofs at Scale CAV 2024
- Taming Control Divergence in GPUs through Control Flow Linearization CC 2014
- DNNV: A Framework for Deep Neural Network Verification CAV 2021
- The Commutativity Problem of the MapReduce Framework: A Transducer-Based Approach CAV 2016
- A Novel Framework of Register Allocation for Software Pipelining POPL 1993
- Points-to analysis using BDDs PLDI 2003
- Proving data-poisoning robustness in decision trees PLDI 2020
- Adequacy for Predicate Transformer Semantics ICFP 2026