Buchumschlag

AProVE: Modular Termination Analysis of Memory-Manipulating C Programs

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Emrich, Frank, Hensel, Jera, Giesl, Jürgen
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Modular Automatic Complexity Analysis of Recursive Integer Programs
von: Lommen, Nils, et al.
Veröffentlicht: (2025)

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

Deciding Termination of Simple Randomized Loops
von: Meyer, Éléanore, et al.
Veröffentlicht: (2025)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
von: Baader, Franz, et al.
Veröffentlicht: (2024)

Termination of Triangular Polynomial Loops
von: Hark, Marcel, et al.
Veröffentlicht: (2019)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

Targeting Completeness: Automated Complexity Analysis of Integer Programs
von: Lommen, Nils, et al.
Veröffentlicht: (2024)

Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT
von: Lommen, Nils, et al.
Veröffentlicht: (2024)

A Dependency Pair Framework for Relative Termination of Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2024)

Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs
von: Lommen, Nils, et al.
Veröffentlicht: (2023)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2023)

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops
von: Lommen, Nils, et al.
Veröffentlicht: (2022)

A Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2023)

Dependency Pairs for Expected Innermost Runtime Complexity and Strong Almost-Sure Termination of Probabilistic Term Rewriting
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2025)

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
von: Kassing, Jan-Christoph, et al.
Veröffentlicht: (2026)

On Deciding Constant Runtime of Linear Loops
von: Frohn, Florian, et al.
Veröffentlicht: (2026)

Integrating Loop Acceleration into Bounded Model Checking
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Satisfiability Modulo Exponential Integer Arithmetic
von: Frohn, Florian, et al.
Veröffentlicht: (2024)

Accelerating Loops with Arrays
von: Frohn, Florian, et al.
Veröffentlicht: (2026)

Infinite State Model Checking by Learning Transitive Relations
von: Frohn, Florian, et al.
Veröffentlicht: (2025)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
von: Ahrens, Emma, et al.
Veröffentlicht: (2025)

Termination Analysis of Linear-Constraint Programs
von: Ben-Amram, Amir M., et al.
Veröffentlicht: (2025)

Non-Termination of Logic Programs Using Patterns
von: Payet, Etienne
Veröffentlicht: (2025)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Complete and Terminating Tableau Calculus for Undirected Graph
von: Nishimura, Yuki, et al.
Veröffentlicht: (2024)

Type-Based Termination for Futures
von: Somayyajula, Siva, et al.
Veröffentlicht: (2021)

Efficient Ranking Function-Based Termination Analysis with Bi-Directional Feedback
von: Sarita, Yasmin, et al.
Veröffentlicht: (2024)

Hydra Battles and AC Termination
von: Hirokawa, Nao, et al.
Veröffentlicht: (2023)

Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
von: Bilotta, Antonella
Veröffentlicht: (2025)

On Modular Termination Proofs of General Logic Programs
von: Bossi, Annalisa, et al.
Veröffentlicht: (2000)

Sound and Complete Proof Rules for Probabilistic Termination
von: Majumdar, Rupak, et al.
Veröffentlicht: (2024)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
von: Şakar, Ömer, et al.
Veröffentlicht: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
von: Winkler, Lorenz, et al.
Veröffentlicht: (2025)

Declassification Policy for Program Complexity Analysis
von: Hainry, Emmanuel, et al.
Veröffentlicht: (2024)

Termination of Real Linear Loops
von: Neumann, Eike, et al.
Veröffentlicht: (2026)

Thread and Memory-Safe Programming with CLASS
von: Caires, Luís
Veröffentlicht: (2025)

Termination of Graph Transformation Systems Using Weighted Subgraph Counting
von: Overbeek, Roy, et al.
Veröffentlicht: (2023)

To Zip Through the Cost Analysis of Probabilistic Programs
von: Hetzenberger, Matthias, et al.
Veröffentlicht: (2025)

Chase Termination Beyond Polynomial Time
von: Hanisch, Philipp, et al.
Veröffentlicht: (2024)