Relative Safety
No abstract available.
Related papers
- Relatively complete refinement type system for verification of higher-order non-deterministic programs POPL 2018
- Automating relatively complete verification of higher-order functional programs POPL 2013
- Cartesian hoare logic for verifying k-safety properties PLDI 2016
- Trace-Based Network Proof Systems: Expressiveness and Completeness TOPLAS 1992
- NSan: a floating-point numerical sanitizer CC 2021
- MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives CAV 2023
- Safer at any speed: automatic context-aware safety enhancement for Rust OOPSLA 2021
- Toward a foundational typed assembly language POPL 2003