Modeling and Verification of a Dual Chamber Implantable Pacemaker
Abstract elided by the publisher.
Related papers
- LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs PLDI 2024
- Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification POPL 2023
- A Primal-Dual Perspective on Program Verification Algorithms POPL 2025
- Induction duality: primal-dual search for invariants POPL 2022
- Verifying PETSc Vector Components Using CIVL CAV 2025
- Towards a formal foundation of intermittent computing OOPSLA 2020
- Using formal methods to enable more secure vehicles: DARPA's HACMS program ICFP 2014
- RoMeo: Mitigating Dual-dimensional Outliers with Rotated Mixed Precision Quantization PPoPP 2026