Cover Image

YAML Verification Witnesses from SV-COMP 2024

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Saan, Simmo
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Correctness Witness Validation by Abstract Interpretation
by: Saan, Simmo, et al.
Published: (2023)

Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
by: Kocal, Ali Rasim, et al.
Published: (2026)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
by: Erhard, Julian, et al.
Published: (2024)

Container Image for SV-COMP 2022 (OCI Format)
by: Beyer, Dirk
Published: (2026)

Demonstrating ARG-V's Generation of Realistic Java Benchmarks for SV-COMP
by: Moloney, Charles, et al.
Published: (2026)

VeriODD: From YAML to SMT-LIB -- Automating Verification of Operational Design Domains
by: Rafie, Bassel, et al.
Published: (2025)

NTUFM_PA2_2 CPAchecker Evaluation on SV-COMP ReachSafety Benchmark
by: Wu, Ying-Chi
Published: (2026)

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results
by: Brix, Christopher, et al.
Published: (2024)

EE5122 PA2 Part 2: CPAchecker Algorithm Comparison on SV-COMP ReachSafety
by: Wu, YD
Published: (2026)

The SVASR System for Text-dependent Speaker Verification (TdSV) AAIC Challenge 2024
by: Molavi, Mohammadreza, et al.
Published: (2024)

Text-dependent Speaker Verification (TdSV) Challenge 2024: Challenge Evaluation Plan
by: Hossein, Zeinali, et al.
Published: (2024)

CloudEval-YAML: A Practical Benchmark for Cloud Configuration Generation
by: Xu, Yifei, et al.
Published: (2023)

Text-Dependent Speaker Verification (TdSV) Challenge 2024: Team Naive System Report
by: Rostami, Amir Mohammad, et al.
Published: (2026)

First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
by: Brix, Christopher, et al.
Published: (2023)

TinySV: Speaker Verification in TinyML with On-device Learning
by: Pavan, Massimo, et al.
Published: (2024)

Beyond the YAML File: Understanding Real-World GitHub Actions Workflow Adoption
by: Khatami, Ali, et al.
Published: (2026)

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
by: Kaulen, Konstantin, et al.
Published: (2025)

AdvSV: An Over-the-Air Adversarial Attack Dataset for Speaker Verification
by: Wang, Li, et al.
Published: (2023)

Whisper-SV: Adapting Whisper for Low-data-resource Speaker Verification
by: Zhang, Li, et al.
Published: (2024)

Designing Compact ILPs via Fast Witness Verification
by: Włodarczyk, Michał
Published: (2025)

Describe Data to get Science-Data-Ready Tooling: Awkward as a Target for Kaitai Struct YAML
by: Goyal, Manasvi, et al.
Published: (2024)

CHC-COMP 2023: Competition Report
by: De Angelis, Emanuele, et al.
Published: (2024)

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
by: Beyer, Dirk, et al.
Published: (2025)

Quantum Petri Nets with Event Structures semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

FT-Boosted SV: Towards Noise Robust Speaker Verification for English Speaking Classroom Environments
by: Tabatabaee, Saba, et al.
Published: (2025)

SV-LLM: An Agentic Approach for SoC Security Verification using Large Language Models
by: Saha, Dipayan, et al.
Published: (2025)

bv_decide SMT-COMP 2025 Submission
by: Böving, Henrik, et al.
Published: (2025)

hj6-sanger/GEL_SV: GEL-SV code
by: hj6-sanger
Published: (2025)

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs
by: Chatterjee, Krishnendu, et al.
Published: (2024)

SV-Mixer: Replacing the Transformer Encoder with Lightweight MLPs for Self-Supervised Model Compression in Speaker Verification
by: Heo, Jungwoo, et al.
Published: (2025)

ARCH-COMP25 Category Report: Stochastic Models
by: Abate, Alessandro, et al.
Published: (2025)

FBD-SV-2024: Flying Bird Object Detection Dataset in Surveillance Video
by: Sun, Zi-Wei, et al.
Published: (2024)

Beyond Voltage: Independent Validation of the SV3 + SV4 Criterion for LVH Detection
by: Fernando De la Garza Salazar
Published: (2025)

Witness
Published: (2020)

Quantum Petri Nets with Event Structure semantics
by: Joachim, Julien Saan, et al.
Published: (2025)

Surface meteorological observations during intercomparison campaign COMP015 in 1987
by: Imfeld, Noemi, et al.
Published: (2026)

ParaNoise-SV: Integrated Approach for Noise-Robust Speaker Verification with Parallel Joint Learning of Speech Enhancement and Noise Extraction
by: Kim, Minu, et al.
Published: (2025)

Tragedy and the Witness
by: Parker, Fred
Published: (2025)

Doctors as Witnesses
by: Anna McNeil
Published: (2025)

Witness to Marvels
by: Stewart, Tony K.
Published: (2019)