:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Correnson, Arthur, Niessen, Tobias, Finkbeiner, Bernd, Weissenbacher, Georg
Format:	Preprint
Publié:	2025
Sujets:	Programming Languages
Accès en ligne:	https://arxiv.org/abs/2501.07918
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Coinductive Proofs for Temporal Hyperliveness
par: Correnson, Arthur, et autres
Publié: (2025)

Pacing Types: Safe Monitoring of Asynchronous Streams
par: Kohn, Florian, et autres
Publié: (2025)

Pacing Types for Asynchronous Stream Equations
par: Kohn, Florian, et autres
Publié: (2026)

An Intermediate Program Representation for Optimizing Stream-Based Languages
par: Baumeister, Jan, et autres
Publié: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
par: Beutner, Raven, et autres
Publié: (2025)

Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic
par: Wu, Shushu, et autres
Publié: (2025)

A Deductive System for Contract Satisfaction Proofs
par: Correnson, Arthur, et autres
Publié: (2026)

Verifying Asynchronous Hyperproperties in Reactive Systems
par: Beutner, Raven, et autres
Publié: (2025)

Type-safe Monitoring of Parameterized Streams
par: Baumeister, Jan, et autres
Publié: (2026)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
par: Finkbeiner, Bernd, et autres
Publié: (2026)

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly
par: Andrès, Léo, et autres
Publié: (2024)

Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
par: Pointner, Andreas, et autres
Publié: (2025)

Large Language Model Powered Symbolic Execution
par: Li, Yihe, et autres
Publié: (2025)

Soteria: Efficient Symbolic Execution as a Functional Library
par: Ayoun, Sacha-Élie, et autres
Publié: (2025)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
par: Tempel, Sören, et autres
Publié: (2024)

Syntax-Guided Automated Program Repair for Hyperproperties
par: Beutner, Raven, et autres
Publié: (2024)

Symbolic Execution for Quantum Error Correction Programs
par: Fang, Wang, et autres
Publié: (2023)

Multi-Pass Targeted Dynamic Symbolic Execution
par: Yavuz, Tuba
Publié: (2024)

Derivative-Guided Symbolic Execution
par: Yuan, Yongwei, et autres
Publié: (2024)

Compositional Symbolic Execution for the Next 700 Memory Models (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2025)

Efficient Symbolic Execution of Software under Fault Attacks
par: Fang, Yuzhou, et autres
Publié: (2025)

Python Symbolic Execution with LLM-powered Code Generation
par: Wang, Wenhan, et autres
Publié: (2024)

DOCE: Finding the Sweet Spot for Execution-Based Code Generation
par: Li, Haau-Sing, et autres
Publié: (2024)

Gillian Debugging: Swinging Through the (Compositional Symbolic Execution) Trees, Extended Version
par: Karmios, Nat, et autres
Publié: (2026)

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
par: Saumya, Charitha, et autres
Publié: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
par: Bouras, Dimitrios Stamatios, et autres
Publié: (2026)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
par: Lööw, Andreas, et autres
Publié: (2024)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
par: Feng, Rong, et autres
Publié: (2025)

Comparing Methods for the Cross-Level Verification of SystemC Peripherals with Symbolic Execution
par: Rudkowski, Karl Aaron, et autres
Publié: (2025)

Model2Kernel: Model-Aware Symbolic Execution For Safe CUDA Kernels
par: He, Mengting, et autres
Publié: (2026)

Teaching LLMs Program Semantics via Symbolic Execution Traces
par: Bayer, Jonas, et autres
Publié: (2026)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
par: Lindner, Andreas, et autres
Publié: (2023)

$\forall$uto$\exists$val: Autonomous Assessment of LLMs in Formal Synthesis and Interpretation Tasks
par: Karia, Rushang, et autres
Publié: (2024)

Literate Execution
par: Bond, Joe, et autres
Publié: (2026)

Prophecies all the Way: Game-based Model-Checking for HyperQPTL beyond $\forall^*\exists^*$
par: Winter, Sarah, et autres
Publié: (2025)

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
par: Abdelrazek, Zeyad, et autres
Publié: (2026)

An Execution Model for RICE
par: Libby, Steven
Publié: (2025)

Non-Deterministic Planning for Hyperproperty Verification
par: Beutner, Raven, et autres
Publié: (2024)

Construction of a valued field whose valuation ring is definable but neither $\exists\forall\exists$ nor $ \forall\exists\forall$-definable in the language of rings
par: Khani, Mohsen, et autres
Publié: (2025)

Optimized Execution of FreeCHR
par: Rechenberger, Sascha, et autres
Publié: (2025)