Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published October 22, 2023 | Version v1
Poster Open

Completeness Thresholds for Memory Safety : Unbounded Guarantees Via Bounded Proofs

Creators

  • Reinhard, Tobias (Contact person)1 ORCID icon
  • Fasse, Justus1 ORCID icon
  • Jacobs, Bart1 ORCID icon
  • 1. ROR icon KU Leuven

Files

ctms_poster.pdf

Files (273.3 kB)

Name Size Download all
ctms_poster.pdf
md5:0763fee723d98ac06c133b553465a968
273.3 kB Preview Download

Additional details

Dates

Available
2023-10-22
205
Views
60
Downloads
Show more details
All versions This version
Views

Total views

205 205
Downloads

Total downloads

60 60
Data volume

Total data volume

18.6 MB 18.6 MB

More info on how stats are collected....

Versions

External resources

Indexed in

  • OpenAIRE

Communities

Keywords and subjects

Keywords

  • program verification
  • completeness thresholds
  • memory safety
  • bounded proofs
  • model checking
  • separation logic

Details

DOI
10.5281/zenodo.10066197
DOI Badge

DOI

10.5281/zenodo.10066197

Markdown

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

reStructuredText

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

HTML

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

Image URL

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

Target URL

https://doi.org/10.5281/zenodo.10066197
Resource type
Poster
Publisher
Zenodo
Conference
ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) , Cascais, Portugal, 22 October 2023 (Session poster track)
Languages
English

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 2, 2023
Modified
July 11, 2024

About

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

Blog

  • Blog

Help

  • FAQ
  • Docs
  • Guides
  • Support

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

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

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