Preprint Open Access

Soundness of a Dataflow Analysis for Memory Monitoring.

Ly, Dara; Kosmatov, Nikolai; Signoles, Julien; Loulergue, Frédéric

BibTeX Export

@misc{ly_dara_2019_3609499,
  author       = {Ly, Dara and
                  Kosmatov, Nikolai and
                  Signoles, Julien and
                  Loulergue, Frédéric},
  title        = {{Soundness of a Dataflow Analysis for Memory 
                   Monitoring.}},
  month        = nov,
  year         = 2019,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.3609499},
  url          = {https://doi.org/10.5281/zenodo.3609499}
}
72
70
views
downloads
All versions This version
Views 7272
Downloads 7070
Data volume 60.0 MB60.0 MB
Unique views 6161
Unique downloads 6969
More info on how stats are collected.
Indexed in
Publication date:
November 15, 2019
DOI:
10.5281/zenodo.3609499

Zenodo DOI Badge

DOI 

10.5281/zenodo.3609499

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

https://doi.org/10.5281/zenodo.3609499

Keyword(s):
dataflow analysis memory monitoring runtime assertion checking proof of soundness formal semantics E-ACSL tool
Published in:
SIGAda Ada Letters, November 2018:.
Grants:
European Commission:
  • VESSEDIA - VERIFICATION ENGINEERING OF SAFETY AND SECURITY CRITICAL DYNAMIC INDUSTRIAL APPLICATIONS (731453)
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.3609499 Nov 15, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3609498. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export