Imagen de Portada

CASP: An evaluation dataset for formal verification of C code

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Hertzberg, Niclas, Sevenhuijsen, Merlijn, Kåreborn, Liv, Lokrantz, Anna
Formato:	Preprint
Publicado:	2025
Materias:	Formal Languages and Automata Theory
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Binary codes that do not preserve primitivity
por: Holub, Štěpán, et al.
Publicado: (2022)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains
por: Kim, Moon, et al.
Publicado: (2025)

Finite maximal codes and factorizations of cyclic groups
por: De Felice, Clelia
Publicado: (2022)

Formal verification of higher dimensional quantum protocols
por: Puthoor, Ittoop Vergheese
Publicado: (2024)

Over-approximation of weakly-hard constraints for control systems verification (Extended)
por: de Maeyer, Rieke, et al.
Publicado: (2026)

Static Analysis Framework for Detecting Use-After-Free Bugs in C++
por: Teodorescu, Vlad-Alexandru, et al.
Publicado: (2024)

Synchronization of strongly connected partial DFAs and prefix codes
por: Berlinkov, Mikhail V., et al.
Publicado: (2021)

A General Information Extraction Framework Based on Formal Languages
por: Schmid, Markus L.
Publicado: (2025)

Statistical process discovery
por: Cry, Pierre, et al.
Publicado: (2025)

Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
por: Jeppson, Joshua, et al.
Publicado: (2025)

Hyper pattern matching
por: Waga, Masaki, et al.
Publicado: (2025)

Input-Driven Pushdown Automata with Translucent Input Letters
por: Kutrib, Martin, et al.
Publicado: (2025)

Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis
por: Kan, Shuanglong, et al.
Publicado: (2025)

Componentwise Automata Learning for System Integration (Extended Version)
por: Fujinami, Hiroya, et al.
Publicado: (2025)

Universality Frontier for Asynchronous Cellular Automata
por: Baburin, Ivan, et al.
Publicado: (2025)

Pumping-Like Results for Copyless Cost Register Automata and Polynomially Ambiguous Weighted Automata
por: Mazowiecki, Filip, et al.
Publicado: (2025)

Castor Ministerialis
por: Hercher, Christian
Publicado: (2025)

Semiflows, Home Spaces, and Home States, Applications to the Analysis of Parameterized Petri Nets
por: Memmi, Gerard
Publicado: (2025)

Unambiguisability and Register Minimisation of Min-Plus Models
por: Almagor, Shaull, et al.
Publicado: (2025)

Passive Learning of Lattice Automata from Recurrent Neural Networks
por: Slimi, Jaouhar, et al.
Publicado: (2025)

An Automata-Based Method to Formalize Psychological Theories -- The Case Study of Lazarus and Folkman's Stress Theory
por: Finkel, Alain, et al.
Publicado: (2025)

Structural Abstraction and Refinement for Probabilistic Programs
por: Li, Guanyan, et al.
Publicado: (2025)

Universally Wheeler Languages
por: Becker, Ruben, et al.
Publicado: (2025)

FocusE: A semantic extension of FocusST
por: Spichkova, Maria
Publicado: (2025)

Polyregular Model Checking
por: Lopez, Aliaume, et al.
Publicado: (2025)

Reversible Pebble Transducers
por: Dartois, Luc, et al.
Publicado: (2025)

On the Complexity of Language Membership for Probabilistic Words
por: Amarilli, Antoine, et al.
Publicado: (2025)

Mind the Gap: A Formal Investigation of the Relationship Between Log and Model Complexity -- Extended Version
por: Schalk, Patrizia, et al.
Publicado: (2025)

Higher-Dimensional Automata : Extension to Infinite Tracks
por: Passemard, Luc, et al.
Publicado: (2025)

Counting Abstraction for the Verification of Structured Parameterized Networks
por: Bozga, Marius, et al.
Publicado: (2025)

Learning Event-recording Automata Passively
por: Majumdar, Anirban, et al.
Publicado: (2025)

Two-way affine automata can verify every language
por: Chen, Zeyu, et al.
Publicado: (2025)

TEMPORA: Efficient Verification of Metric Temporal Properties with Past in Pointwise Semantics
por: Akshay, S., et al.
Publicado: (2025)

Resolving Nondeterminism by Chance
por: Paul, Soumyajit, et al.
Publicado: (2025)

Model Checking for Multi-Agent Systems Modeled By Epistemic Process Calculus
por: Yu, Qixian, et al.
Publicado: (2025)

Languages of Boundedly-Ambiguous Vector Addition Systems with States
por: Czerwiński, Wojciech, et al.
Publicado: (2025)

Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
por: Fülöp, Zoltán, et al.
Publicado: (2025)

Stochastic Languages at Sub-stochastic Cost
por: Agarwal, Smayan, et al.
Publicado: (2025)

Synthesis of State-Attack Strategies for Anonymity and Opacity Violation in Discrete Event Systems
por: Li, Xiaoyan, et al.
Publicado: (2025)

Unambiguous Acceptance of Thin Coalgebras
por: Chernev, Anton, et al.
Publicado: (2025)