Cover Image

SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Beyer, Dirk, Ernst, Gidon, Jonáš, Martin, Lingsch-Rosenfeld, Marian
Format:	Preprint
Published:	2025
Subjects:	Programming Languages Symbolic Computation Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
by: Kutsia, Temur, et al.
Published: (2024)

Open Source Prover in the Attic
by: Kovács, Zoltán, et al.
Published: (2024)

Correctness Witnesses with Function Contracts
by: Heizmann, Matthias, et al.
Published: (2025)

Satire: Computing Rigorous Bounds for Floating-Point Rounding Error in Mixed-Precision Loop-Free Programs
by: Tirpankar, Tanmay, et al.
Published: (2025)

HIVE: Scalable Hardware-Firmware Co-Verification using Scenario-based Decomposition and Automated Hint Extraction
by: Jayasena, Aruna, et al.
Published: (2023)

Debugging code world models
by: Rahmani, Babak
Published: (2026)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
by: Baier, Daniel, et al.
Published: (2024)

Antiassociative algebra in R: introducing the evitaicossa package
by: Hankinn, Robin K. S.
Published: (2024)

Inferring Equivalence Classes from Legacy Undocumented Embedded Binaries for ISO 26262-Compliant Testing
by: De Luca, Marco, et al.
Published: (2026)

A Symbolic Computing Perspective on Software Systems
by: Norman, Arthur C., et al.
Published: (2024)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
by: Beyer, Dirk, et al.
Published: (2022)

CodeSteer: Symbolic-Augmented Language Models via Code/Text Guidance
by: Chen, Yongchao, et al.
Published: (2025)

modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
by: Dzafic, Izudin, et al.
Published: (2025)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
by: Gorna, Karolina, et al.
Published: (2026)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
by: Orvalho, Pedro, et al.
Published: (2025)

Tractable Verification of Model Transformations: A Cutoff-Theorem Approach for DSLTrans
by: Lucio, Levi
Published: (2026)

Practical Modelling with Bigraphs
by: Archibald, Blair, et al.
Published: (2024)

Towards Automatic Transformations of Coq Proof Scripts
by: Magaud, Nicolas
Published: (2024)

How Natural Language Proficiency Shapes GenAI Code for Software Engineering Tasks
by: Rojpaisarnkit, Ruksit, et al.
Published: (2025)

SymbolicAI: A framework for logic-based approaches combining generative models and solvers
by: Dinu, Marius-Constantin, et al.
Published: (2024)

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach
by: Bandyopadhyay, Soumyadip, et al.
Published: (2025)

A Modular Program-Transformation Framework for Reducing Specifications to Reachability
by: Beyer, Dirk, et al.
Published: (2025)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Language-Driven Engineering An Interdisciplinary Software Development Paradigm
by: Steffen, Bernhard, et al.
Published: (2024)

PANTHER: Pluginizable Testing Environment for Network Protocols
by: Crochet, Christophe, et al.
Published: (2025)

Network Simulator-centric Compositional Testing
by: Rousseaux, Tom, et al.
Published: (2025)

Beyond Postconditions: Can Large Language Models infer Formal Contracts for Automatic Software Verification?
by: Richter, Cedric, et al.
Published: (2025)

Towards Semantics Lifting for Scientific Computing: A Case Study on FFT
by: Zhang, Naifeng, et al.
Published: (2025)

Introducing Quantification into a Hierarchical Graph Rewriting Language
by: Mishina, Haruto, et al.
Published: (2024)

A Flow Extension to Coroutine Types for Deadlock Detection in Go
by: Gu, Qiqi Jason, et al.
Published: (2026)

Strided Difference Bound Matrices
by: Pitchanathan, Arjun, et al.
Published: (2024)

Generalized Software Product Line Extraction
by: Bruzzone, Federico, et al.
Published: (2026)

Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
by: Grahl, Johanna, et al.
Published: (2025)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
by: Amilon, Jesper, et al.
Published: (2026)

QCP: A Practical Separation Logic-based C Program Verification Tool
by: Wu, Xiwei, et al.
Published: (2025)

Efficient Symbolic Execution of Software under Fault Attacks
by: Fang, Yuzhou, et al.
Published: (2025)

Catalpa: GC for a Low-Variance Software Stack
by: Arnold, Anthony, et al.
Published: (2025)

DafnyBench: A Benchmark for Formal Software Verification
by: Loughridge, Chloe, et al.
Published: (2024)

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?
by: Oliveira, Francisco, et al.
Published: (2025)

Local Software Buildability across Java Versions (Registered Report)
by: Sulír, Matúš, et al.
Published: (2024)