Buchumschlag

Non-termination Witnesses in Format 2.1 for ASE 2025 Article `Non-termination Witnesses and Their Validation'

Fuente: Zenodo

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ádám, Zsófia, Ayaziová, Paulína, Bajczi, Levente, Beyer, Dirk, Jankola, Marek, Lingsch-Rosenfeld, Marian, Strejček, Jan
Format:	Recurso digital
Sprache:	Englisch
Veröffentlicht:	Zenodo 2025
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

Correctness Witnesses with Function Contracts
von: Heizmann, Matthias, et al.
Veröffentlicht: (2025)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
von: Beyer, Dirk, et al.
Veröffentlicht: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
von: Baier, Daniel, et al.
Veröffentlicht: (2024)

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification
von: Somorjai, Márk, et al.
Veröffentlicht: (2024)

Temporal Entanglement and Witnesses of Non-Classicality
von: Di Pietra, Giuseppe, et al.
Veröffentlicht: (2025)

A One-sided Witness for the Quantumness of Gravitational Dynamics
von: Beyer, Konstantin, et al.
Veröffentlicht: (2025)

Theta as a Horn Solver
von: Bajczi, Levente, et al.
Veröffentlicht: (2025)

Correctness Witness Validation by Abstract Interpretation
von: Saan, Simmo, et al.
Veröffentlicht: (2023)

RBFVN_08__Non_Trivial_Witnesses_of_the_Extraction_Program
von: Van Vi, Dam
Veröffentlicht: (2026)

Local and Non-local Entanglement Witnesses of Fermi Liquid
von: Wang, Yiming, et al.
Veröffentlicht: (2025)

Witness
Veröffentlicht: (2020)

Gray-Box Fuzzing in Local Space
von: Jonáš, Martin, et al.
Veröffentlicht: (2025)

Construction of a Non-Linear Entanglement Witness Operator in Arbitrary Dimension Using a Given Linear Witness Operator
von: Sonia, et al.
Veröffentlicht: (2026)

Witnesses of non-Gaussian features as lower bounds of stellar rank
von: Provazník, Jan, et al.
Veröffentlicht: (2026)

CHCVerif: A Portfolio-Based Solver for Constrained Horn Clauses
von: Dobos-Kovács, Mihály, et al.
Veröffentlicht: (2025)

Witness to Marvels
von: Stewart, Tony K.
Veröffentlicht: (2019)

Tragedy and the Witness
von: Parker, Fred
Veröffentlicht: (2025)

Invited to Witness
von: Lynn Kelly, Jennifer
Veröffentlicht: (2023)

Wits and Interpretation
von: Edlund, Bengt
Veröffentlicht: (2023)

Witness to Marvels
von: Stewart, Tony K.
Veröffentlicht: (2020)

The Witness as Object
von: de Jong, Steffi
Veröffentlicht: (2018)

Bearing Witness
Veröffentlicht: (2017)

Bearing Witness
von: Kirchhelle, Claas
Veröffentlicht: (2021)

Doctors as Witnesses
von: Anna McNeil
Veröffentlicht: (2025)

Dynamics-Based Entanglement Witnesses for Non-Gaussian States of Harmonic Oscillators
von: Jayachandran, Pooja, et al.
Veröffentlicht: (2022)

Enhancing MBSE Education with Version Control and Automated Feedback
von: Bajczi, Levente, et al.
Veröffentlicht: (2024)

Witnessing Flows in Arithmetic
von: Tabatabai, Amirhossein Akbar
Veröffentlicht: (2024)

Strong Projective Witnesses
von: Fischer, Vera, et al.
Veröffentlicht: (2026)

Bearing Witness to the Holocaust.
von: Rochman, Hazel
Veröffentlicht: (1998)

Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage (Technical Report)
von: Jonáš, Martin, et al.
Veröffentlicht: (2024)

Art as a Political Witness
Veröffentlicht: (2022)

‘Wit’s Wild Dancing Light’
von: Hutchings, William
Veröffentlicht: (2023)

Tragedy and the Witness: Shakespeare and Beyond
von: Parker, Fred
Veröffentlicht: (2026)

When Witnesses Defend: A Witness Graph Topological Layer for Adversarial Graph Learning
von: Arafat, Naheed Anjum, et al.
Veröffentlicht: (2024)

Container Image for SV-COMP 2022 (OCI Format)
von: Beyer, Dirk
Veröffentlicht: (2026)

Witnessing Disorder in Quantum Magnets
von: Sabharwal, Snigdh, et al.
Veröffentlicht: (2024)

Witnessing and guiding sets of tangles
von: Seibt, Annegret
Veröffentlicht: (2025)

Quantum Statistical Witness Indistinguishability
von: Nassar, Shafik, et al.
Veröffentlicht: (2025)

Witness Seminar: Writing to Politicians
von: Kit Kowol, et al.
Veröffentlicht: (2024)