Cover Image

VerifyThis Casino Challenge Artifact Repository

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Authors:	Weigl, Alexander, Merz, Stephan, Schiffl, Jonas, Becker-Kupczok, Jonas, Eilers, Marco, Ahrendt, Wolfgang, Monti, Raul E., Bliudze, Simon
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

VerifyThis 2019: A Program Verification Competition (Extended Report)
by: Dross, Claire, et al.
Published: (2020)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
by: Krook, Jonas, et al.
Published: (2022)

Verification Algorithms for Automated Separation Logic Verifiers
by: Eilers, Marco, et al.
Published: (2024)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis
by: Granberry, George, et al.
Published: (2025)

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods
by: Granberry, George, et al.
Published: (2024)

Multi-Agent Large Language Models for Conversational Task-Solving
by: Becker, Jonas
Published: (2024)

AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
by: Ndadji, Brice Arléon Zemtsop, et al.
Published: (2025)

Fancy Some Chips for Your TeaStore? Modeling the Control of an Adaptable Discrete System
by: Gallone, Anna, et al.
Published: (2025)

Different Esthetic Assessment of Anterior Restorations by Patient and Expert: A Prospective Clinical Study
by: Jonas Lorenz, et al.
Published: (2024)

Age determinations on mica in the Variscides of Germany
by: Ahrendt, H, et al.
Published: (2003)

Internierung und Militärdienst
by: Weigl, Marius
Published: (2022)

Combining IceCube Muon Tracks and Cascades to measure the Galactic Diffuse Neutrino Flux
by: Hellrung, Jonas, et al.
Published: (2025)

Capacity-Achieving Input Distribution of the Additive Uniform Noise Channel With Peak Amplitude and Cost Constraint
by: Stapmanns, Jonas, et al.
Published: (2025)

On the stability of event-based control with neuronal dynamics
by: Eilers, Luke, et al.
Published: (2025)

FiNERweb: Datasets and Artifacts for Scalable Multilingual Named Entity Recognition
by: Golde, Jonas, et al.
Published: (2025)

Non GamStop Casinos
by: Non GamStop Casinos
Published: (2025)

Influence of a Preageing Treatment on the Cluster Formation and the Further Ageing Route in Al–Mg–Si Extrusion Alloys
by: Patrick Ortner, et al.
Published: (2024)

Phylogenetic support of pebS as a phage-exclusive auxiliary metabolic gene.
by: Baeuerle, Nina, et al.
Published: (2026)

SERA: Soft-Verified Efficient Repository Agents
by: Shen, Ethan, et al.
Published: (2026)

CRSet: Private Non-Interactive Verifiable Credential Revocation
by: Hoops, Felix, et al.
Published: (2025)

Text Generation: A Systematic Literature Review of Tasks, Evaluation, and Challenges
by: Becker, Jonas, et al.
Published: (2024)

A Counterfactual Analysis of the Dishonest Casino
by: Haugh, Martin, et al.
Published: (2024)

Casinos y poder : El caso del Kickapoo Lucky Eagle Casino / Hern n Salas Quintanal
by: Salas Quintanal, Hernán

ASE_DiVerify_Artifact: Initial Release
by: Anonymous
Published: (2026)

Newton's method for nonlinear mappings into vector bundles
by: Weigl, Laura, et al.
Published: (2024)

Compilation of Commit Changes within Java Source Code Repositories
by: Schott, Stefan, et al.
Published: (2024)

Phase Transitions of the Additive Uniform Noise Channel with Peak Amplitude and Cost Constraint
by: Stapmanns, Jonas, et al.
Published: (2025)

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
by: Eshghie, Mojtaba, et al.
Published: (2023)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
by: Ron, Javier, et al.
Published: (2026)

Artifact Repository for A Methodological Analysis of Empirical Studies in Quantum Software Testing
by: Li, Yuechen, et al.
Published: (2026)

Top 8 Features of AlyBet365 Casino
by: Bruner, D
Published: (2026)

The Effects of Sports Betting on Casino Gambling in the United States
by: Ege Can, et al.
Published: (2026)

El reparto Casino Deportivo: una historia no contada
by: Alexis J. Rouco Méndez
Published: (2017)

Antirealism in sheep's clothing: Wave function realism and scientific realism
by: Arroyo, Raoni, et al.
Published: (2025)

Quantum ontology de-naturalized: What we can't learn from quantum mechanics
by: Arroyo, Raoni, et al.
Published: (2024)

LogSigma at SemEval-2026 Task 3: Uncertainty-Weighted Multitask Learning for Dimensional Aspect-Based Sentiment Analysis
by: Hikal, Baraa, et al.
Published: (2026)

On the Naturalistic Grounds of Grounding
by: Raoni Arroyo, et al.
Published: (2026)

Demystifying dust contamination in quantum optics labs: measurements and recommendations
by: Gottschalk, Jonas, et al.
Published: (2024)

"What Keeps People Secure is That They Met The Security Team": Deconstructing Drivers And Goals of Organizational Security Awareness
by: Hielscher, Jonas, et al.
Published: (2024)

Mapping the Challenges of HCI: An Application and Evaluation of ChatGPT for Mining Insights at Scale
by: Oppenlaender, Jonas, et al.
Published: (2023)