Copertina

ExVerus: Verus Proof Repair via Counterexample Reasoning

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yang, Jun, Sun, Yuechun, Wu, Yi, Caridad, Rodrigo, Yuan, Yongwei, Yao, Jianan, Lu, Shan, Pei, Kexin
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Programming Languages Machine Learning D.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

AutoVerus: Automated Proof Generation for Rust Code
di: Yang, Chenyuan, et al.
Pubblicazione: (2024)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
di: Lu, Minghai, et al.
Pubblicazione: (2025)

Provable Fairness Repair for Deep Neural Networks
di: Ma, Jianan, et al.
Pubblicazione: (2026)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
di: Li, Xiaoqi, et al.
Pubblicazione: (2026)

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus
di: Jain, Rijul, et al.
Pubblicazione: (2025)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
di: Kadaboina, Ravi Kiran
Pubblicazione: (2026)

ICAN-Deploy: Identity-Stable Canary Deployment for Safety-Critical Embodied Agents
di: Qin, Xue, et al.
Pubblicazione: (2026)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
di: Frenkel, Eden, et al.
Pubblicazione: (2026)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
di: Rawat, Sanjay
Pubblicazione: (2026)

Combating Reentrancy Bugs on Sharded Blockchains
di: Kashitsyn, Roman, et al.
Pubblicazione: (2025)

Efficient Cloud-Edge-Device Query Execution Based on Collaborative Scan Operator
di: Zhao, Chunyu, et al.
Pubblicazione: (2025)

A Graphical Interface for Category Theory Proofs in Coq
di: Chabassier, Luc
Pubblicazione: (2025)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
di: Bruzzone, Federico, et al.
Pubblicazione: (2026)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
di: Amusuo, Paschal C., et al.
Pubblicazione: (2024)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
di: Amusuo, Paschal C., et al.
Pubblicazione: (2025)

Shipwright: Proving liveness of distributed systems with Byzantine participants
di: Leung, Derek, et al.
Pubblicazione: (2025)

Automatically Detecting Numerical Instability in Machine Learning Applications via Soft Assertions
di: Sharmin, Shaila, et al.
Pubblicazione: (2025)

push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation
di: Ahmadvand, Mohsen, et al.
Pubblicazione: (2026)

QUT: A Unit Testing Framework for Quantum Subroutines
di: Klymenko, Mykhailo V., et al.
Pubblicazione: (2025)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
di: Beg, Arshad, et al.
Pubblicazione: (2026)

Parf: Adaptive Parameter Refining for Abstract Interpretation
di: Wang, Zhongyi, et al.
Pubblicazione: (2024)

Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies
di: Effendi, Sedick David Baker, et al.
Pubblicazione: (2025)

A Multi-Layered Security Analysis of Blockchain Systems: From Attack Vectors to Defense and System Hardening
di: Yang, Yuhuan, et al.
Pubblicazione: (2025)

Analyzing Logs of Large-Scale Software Systems using Time Curves Visualization
di: Borysenkov, Dmytro, et al.
Pubblicazione: (2024)

Safeguarding DeFi Smart Contracts against Oracle Deviations
di: Deng, Xun, et al.
Pubblicazione: (2024)

NEST: Network Enforced Session Types (Technical Report)
di: Larsen, Jens Kanstrup, et al.
Pubblicazione: (2026)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
di: Bai, Yubo, et al.
Pubblicazione: (2025)

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
di: Wu, Jixuan, et al.
Pubblicazione: (2025)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
di: Guan, Yawen, et al.
Pubblicazione: (2025)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
di: McCann, Alan L.
Pubblicazione: (2026)

AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
di: Amusuo, Paschal C., et al.
Pubblicazione: (2026)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
di: Beg, Arshad, et al.
Pubblicazione: (2026)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

Alea-BFT: Practical Asynchronous Byzantine Fault Tolerance
di: Antunes, Diogo S., et al.
Pubblicazione: (2024)

Trident: Adaptive Scheduling for Heterogeneous Multimodal Data Pipelines
di: Pan, Ding, et al.
Pubblicazione: (2026)

VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus
di: Sun, Chuyue, et al.
Pubblicazione: (2025)

HONEYBEE: Efficient Role-based Access Control for Vector Databases via Dynamic Partitioning[Technical Report]
di: Zhong, Hongbin, et al.
Pubblicazione: (2025)

Provably Correct Systems: Community, connections, and citations
di: Bowen, Jonathan P.
Pubblicazione: (2015)

Testing SSD Firmware with State Data-Aware Fuzzing: Accelerating Coverage in Nondeterministic I/O Environments
di: Yoon, Gangho, et al.
Pubblicazione: (2025)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
di: Gridin, Iaroslav, et al.
Pubblicazione: (2024)