Buchumschlag

Parf: Adaptive Parameter Refining for Abstract Interpretation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Wang, Zhongyi, Yang, Linyu, Chen, Mingshuai, Bu, Yixuan, Li, Zhiyang, Wang, Qiuye, Qin, Shengchao, Yi, Xiao, Yin, Jianwei
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science D.2.4
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An ACL2s Interface to Z3
von: Walter, Andrew T., et al.
Veröffentlicht: (2025)

Reachability and Safety Games under TSO Semantics
von: Spengler, Stephan
Veröffentlicht: (2024)

On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2026)

Why does it fail? Explanation of verification failures
von: Eriksson, Lars-Henrik
Veröffentlicht: (2026)

Uniform Substitution for Differential Refinement Logic
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2024)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2026)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

Verification Challenge: Fractional Cascading for Multi-Nuclide Grid Lookup
von: Siegel, Andrew R.
Veröffentlicht: (2025)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
von: Soroka, Emiko, et al.
Veröffentlicht: (2023)

Preguss: It Analyzes, It Specifies, It Verifies
von: Wang, Zhongyi, et al.
Veröffentlicht: (2025)

Baking for Dafny: A CakeML Backend for Dafny
von: Nezamabadi, Daniel, et al.
Veröffentlicht: (2025)

Verification of E-Voting Algorithms in Dafny
von: Büttner, Robert, et al.
Veröffentlicht: (2025)

Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration (Extended Version)
von: Sextl, Florian, et al.
Veröffentlicht: (2023)

SMT-based Symbolic Model-Checking for Operator Precedence Languages
von: Chiari, Michele, et al.
Veröffentlicht: (2024)

Sound and Complete Invariant-Based Heap Encodings (Technical Report)
von: Esen, Zafer, et al.
Veröffentlicht: (2025)

Verifying Procedural Programs via Constrained Rewriting Induction
von: Fuhs, Carsten, et al.
Veröffentlicht: (2014)

Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds
von: Reinhard, Tobias
Veröffentlicht: (2024)

Type Inference for Isabelle2Cpp
von: Jiang, Dongchen, et al.
Veröffentlicht: (2024)

Automatic Function Annotations for Hoare Logic
von: Matichuk, Danielle
Veröffentlicht: (2012)

Context-Dependent Effects and Concurrency in Guarded Interaction Trees
von: Stepanenko, Sergei, et al.
Veröffentlicht: (2025)

Path-optimal symbolic execution of heap-manipulating programs
von: Braione, Pietro, et al.
Veröffentlicht: (2024)

Uniqueness is Separation
von: O'Connor, Liam, et al.
Veröffentlicht: (2026)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
von: Jilissen, Kevin H. J., et al.
Veröffentlicht: (2024)

Ground Stratification for a Logic of Definitions with Induction
von: Guermond, Nathan, et al.
Veröffentlicht: (2025)

A Graphical Interface for Category Theory Proofs in Coq
von: Chabassier, Luc
Veröffentlicht: (2025)

Axis-Aligned Semantics for ODRL: Resolving Dimensional Ambiguity in Policy Constraints
von: Mustafa, Daham, et al.
Veröffentlicht: (2026)

Space-time process algebra with asynchronous communication
von: Bergstra, J. A., et al.
Veröffentlicht: (2024)

Provably Correct Systems: Community, connections, and citations
von: Bowen, Jonathan P.
Veröffentlicht: (2015)

Combining Small-Step and Big-Step Semantics to Verify Loop Optimizations
von: Knothe, David, et al.
Veröffentlicht: (2026)

Abstracting Situation Calculus Action Theories
von: Banihashemi, Bita, et al.
Veröffentlicht: (2024)

Leveraging Slither and Interval Analysis to build a Static Analysis Tool
von: Susan, Stefan-Claudiu
Veröffentlicht: (2024)

Reachability and Safety Games under TSO Semantics (Extended Version)
von: Spengler, Stephan
Veröffentlicht: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
von: Waldinger, Richard
Veröffentlicht: (2025)

Towards Weak Stratification for Logics of Definitions
von: Guermond, Nathan
Veröffentlicht: (2026)

Modal Verification Patterns for Systems Software
von: Kuru, Ismail, et al.
Veröffentlicht: (2025)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
von: Heuvel, Bas van den, et al.
Veröffentlicht: (2024)

PARF: An Adaptive Abstraction-Strategy Tuner for Static Analysis
von: Wang, Zhongyi, et al.
Veröffentlicht: (2025)

Adaptive Proof Refinement with LLM-Guided Strategy Selection
von: Lu, Minghai, et al.
Veröffentlicht: (2025)

VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
von: Hovland, Paul D.
Veröffentlicht: (2025)

Automated Consistency Analysis for Legal Contracts
von: Khoja, Alan, et al.
Veröffentlicht: (2025)