Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published November 9, 2023 | Version 0.1.1
Software Open

sv-sanitizers at SV-COMP 2024

Authors/Creators

  • Saan, Simmo1 ORCID icon
  • 1. University of Tartu

Description

sv-sanitizers verifier submitted to SV-COMP 2024.

Files

sv-sanitizers.zip

Files (5.1 kB)

Name Size Download all
sv-sanitizers.zip
md5:0c77a1a4bc635731123b235d38c17e70
5.1 kB Preview Download
465
Views
85
Downloads
Show more details
All versions This version
Views

Total views

465 417
Downloads

Total downloads

85 72
Data volume

Total data volume

514.8 kB 449.2 kB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Keywords and subjects

Keywords

  • SV-COMP

Details

DOI
10.5281/zenodo.10091272
DOI Badge

DOI

10.5281/zenodo.10091272

Markdown

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

reStructuredText

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

HTML

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

Image URL

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

Target URL

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

Rights

License
MIT License
A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more

Citation

Export

Technical metadata

Created
November 9, 2023
Modified
November 9, 2023

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