Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up

New blog post on the May 13–15 incident. We sincerely apologize for the incident, the disruption it caused, and any concern it raised.

Published 2024 | Version v5
Software Open

Witch 3.1: SV-COMP 2025 Submission

Authors/Creators

  • Ayaziová, Paulína1 ORCID icon
  • Strejček, Jan1 ORCID icon
  • 1. ROR icon Masaryk University

Files

witch.zip

Files (24.4 MB)

Name Size Download all
witch.zip
md5:6588340660ebddd468bad4cbaf4834ae
24.4 MB Preview Download
172
Views
59
Downloads
Show more details
All versions This version
Views

Total views

172 108
Downloads

Total downloads

59 19
Data volume

Total data volume

1.9 GB 487.9 MB

More info on how stats are collected....

Versions

External resources

Archived in
  • Software Heritage icon
    Software Heritage

    swh:1:dir:9e7e3f113bbc5f54825706f1a5c905f40b8fefa6

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.14207188
DOI Badge

DOI 

10.5281/zenodo.14207188

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.14207188.svg)](https://doi.org/10.5281/zenodo.14207188)

reStructuredText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.14207188.svg
  :target: https://doi.org/10.5281/zenodo.14207188

HTML 

<a href="https://doi.org/10.5281/zenodo.14207188"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.14207188.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.14207188.svg

Target URL 

https://doi.org/10.5281/zenodo.14207188
Resource type
Software
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
November 22, 2024
Modified
November 22, 2024

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies