Consistent Integration of Formal Methods
Abstract elided by the publisher.
Related papers
- Balancing Automation and Control for Formal Verification of Microprocessors CAV 2021
- Hamband: RDMA replicated data types PLDI 2022
- Compilation Semantics for a Programming Language with Versions APLAS 2023
- Analyzing memory management methods on integrated CPU-GPU systems ISMM 2017
- Orbitopal Fixing in SAT TACAS 2026
- Neuro-symbolic Hierarchical Learning for Long-Horizon Robotic Tasks PLDI 2026
- Code Generation from Formal Models for Automatic RTOS Portability CGO 2019
- A Formally Verified Foundation for Compositional Heterogeneous Coherence PLDI 2026