Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2601.13727 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
VeriFast's separation logic: a logic without laters for modular verification of fine-grained concurrent programs
by: Jacobs, Bart
Published: (2025)
by: Jacobs, Bart
Published: (2025)
Evaluating the Ability of Large Language Models to Generate Verifiable Specifications in VeriFast
by: Fan, Wen, et al.
Published: (2024)
by: Fan, Wen, et al.
Published: (2024)
Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing (Extended Version)
by: Schröer, Philipp, et al.
Published: (2025)
by: Schröer, Philipp, et al.
Published: (2025)
Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
by: Tas, Wannes, et al.
Published: (2026)
by: Tas, Wannes, et al.
Published: (2026)
An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (Y)C20 memory consistency model
by: Jacobs, Bart, et al.
Published: (2025)
by: Jacobs, Bart, et al.
Published: (2025)
A flexible specification approach for verifying total correctness of fine-grained concurrent modules
by: Fasse, Justus, et al.
Published: (2023)
by: Fasse, Justus, et al.
Published: (2023)
VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean
by: Xin, Yutong, et al.
Published: (2026)
by: Xin, Yutong, et al.
Published: (2026)
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
by: He, Yang, et al.
Published: (2024)
by: He, Yang, et al.
Published: (2024)
StacKAT: Infinite State Network Verification
by: Jacobs, Jules, et al.
Published: (2025)
by: Jacobs, Jules, et al.
Published: (2025)
Foundational Verification of Smart Contracts through Verified Compilation
by: Sjöberg, Vilhelm, et al.
Published: (2024)
by: Sjöberg, Vilhelm, et al.
Published: (2024)
VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
by: Wang, Yaoxiang, et al.
Published: (2026)
by: Wang, Yaoxiang, et al.
Published: (2026)
VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
by: Yubeaton, Patrick, et al.
Published: (2025)
by: Yubeaton, Patrick, et al.
Published: (2025)
Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2024)
by: Pu, Yewen, et al.
Published: (2024)
KATch: A Fast Symbolic Verifier for NetKAT
by: Moeller, Mark, et al.
Published: (2024)
by: Moeller, Mark, et al.
Published: (2024)
QCP: A Practical Separation Logic-based C Program Verification Tool
by: Wu, Xiwei, et al.
Published: (2025)
by: Wu, Xiwei, et al.
Published: (2025)
End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation
by: Wu, Jinhua, et al.
Published: (2025)
by: Wu, Jinhua, et al.
Published: (2025)
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
by: Batz, Kevin, et al.
Published: (2025)
by: Batz, Kevin, et al.
Published: (2025)
Generating Pragmatic Examples to Train Neural Program Synthesizers
by: Vaduguru, Saujas, et al.
Published: (2023)
by: Vaduguru, Saujas, et al.
Published: (2023)
Incremental Randomized Smoothing Certification
by: Ugare, Shubham, et al.
Published: (2023)
by: Ugare, Shubham, et al.
Published: (2023)
Verification of the Release-Acquire Semantics
by: Abdulla, Parosh, et al.
Published: (2025)
by: Abdulla, Parosh, et al.
Published: (2025)
Surveying the Rust Verification Landscape
by: Blanc, Alex Le, et al.
Published: (2024)
by: Blanc, Alex Le, et al.
Published: (2024)
Analyzing LLM Instruction Optimization for Tabular Fact Verification
by: Du, Xiaotang, et al.
Published: (2026)
by: Du, Xiaotang, et al.
Published: (2026)
Amortizing Pragmatic Program Synthesis with Rankings
by: Pu, Yewen, et al.
Published: (2023)
by: Pu, Yewen, et al.
Published: (2023)
Practical Formal Verification for MLIR Programs
by: Tucker, Emily, et al.
Published: (2026)
by: Tucker, Emily, et al.
Published: (2026)
Automated Verification of Soundness of DNN Certifiers
by: Singh, Avaljot, et al.
Published: (2025)
by: Singh, Avaljot, et al.
Published: (2025)
Denotation-based Compositional Compiler Verification
by: Cheng, Zhang, et al.
Published: (2024)
by: Cheng, Zhang, et al.
Published: (2024)
Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
by: Monniaux, David
Published: (2024)
by: Monniaux, David
Published: (2024)
Lumos: Let there be Language Model System Certification
by: Chaudhary, Isha, et al.
Published: (2025)
by: Chaudhary, Isha, et al.
Published: (2025)
Verification Algorithms for Automated Separation Logic Verifiers
by: Eilers, Marco, et al.
Published: (2024)
by: Eilers, Marco, et al.
Published: (2024)
Solvable Tuple Patterns and Their Applications to Program Verification
by: Kobayashi, Naoki, et al.
Published: (2025)
by: Kobayashi, Naoki, et al.
Published: (2025)
Verification under TSO with an infinite Data Domain
by: Abdulla, Parosh Aziz, et al.
Published: (2024)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)
Towards Automated Verification of LLM-Synthesized C Programs
by: Mukherjee, Prasita, et al.
Published: (2024)
by: Mukherjee, Prasita, et al.
Published: (2024)
A Hybrid Approach to Semi-automated Rust Verification
by: Ayoun, Sacha-Élie, et al.
Published: (2024)
by: Ayoun, Sacha-Élie, et al.
Published: (2024)
VerityMath: Advancing Mathematical Reasoning by Self-Verification Through Unit Consistency
by: Han, Vernon Toh Yan, et al.
Published: (2023)
by: Han, Vernon Toh Yan, et al.
Published: (2023)
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages
by: Mora, Federico, et al.
Published: (2024)
by: Mora, Federico, et al.
Published: (2024)
Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
by: Dane, Serra Z., et al.
Published: (2026)
by: Dane, Serra Z., et al.
Published: (2026)
Dynamic Robustness Verification Against Weak Memory (Extended Version)
by: Margalit, Roy, et al.
Published: (2025)
by: Margalit, Roy, et al.
Published: (2025)
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems
by: Nagar, Kartik, et al.
Published: (2020)
by: Nagar, Kartik, et al.
Published: (2020)
Iso-Recursive Multiparty Sessions and their Automated Verification -- Technical Report
by: Giunti, Marco, et al.
Published: (2025)
by: Giunti, Marco, et al.
Published: (2025)
Very High Level Programming Languages (e.g., SNOBOL, COMIT) in the Special Librarian's Future
by: Libbey, Miles A.
Published: (1975)
by: Libbey, Miles A.
Published: (1975)