Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Reitz, Antonin"'
In this work, we present StarMalloc, a verified, security-oriented, concurrent memory allocator that can be used as a drop-in replacement in real-world projects. Using the Steel separation logic framework, we show how to specify and verify StarMalloc
Externí odkaz:
http://arxiv.org/abs/2403.09435
Autor:
Fromherz, Aymeric, Reitz, Antonin
Publikováno v:
Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.269-271
33èmes Journées Francophones des Langages Applicatifs
33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.269-271
National audience; Steel est un framework pour développer et prouver des programmes concurrents écrits en F , un langage de programmation avec types dépendants ainsi qu'un assistant de preuve. Inspiré par Iris, Steel repose sur une logique de sé
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::629cb18555497ee6ac34f577316b042d
https://inria.hal.science/hal-03626859
https://inria.hal.science/hal-03626859