Kima - An Automated Error Correction System for Concurrent Logic Programs
No abstract available.
Related papers
- Efficient Formal Verification of Quantum Error Correcting Programs PLDI 2025
- Automated type-based analysis of data races and atomicity PPoPP 2005
- Caper - Automatic Verification for Fine-Grained Concurrency ESOP 2017
- RefinedC: automating the foundational verification of C code with refined ownership types PLDI 2021
- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs TACAS 2022
- U-Turn: Enhancing Incorrectness Analysis by Reversing Direction POPL 2026
- Efficient Temporal Reasoning POPL 1989
- Automated Verification of Parallel Nested DFS TACAS 2020