Inproceedings,
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.
F. Brauße, F. Shmarov, R. Menezes, M. Gadelha, K. Korovin, G. Reger, and L. Cordeiro.ISSTA, page 773-776. ACM, (2022)
Meta data
- BibTeX key
- conf/issta/BrausseSMGKRC22
- entry type
- inproceedings
- booktitle
- ISSTA
- year
- 2022
- pages
- 773-776
- publisher
- ACM
- crossref
- conf/issta/2022
- ee
- https://doi.org/10.1145/3533767.3543289
- isbn
- 978-1-4503-9379-9
- url
- http://dblp.uni-trier.de/db/conf/issta/issta2022.html#BrausseSMGKRC22
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/issta/BrausseSMGKRC22
%A Brauße, Franz
%A Shmarov, Fedor
%A Menezes, Rafael
%A Gadelha, Mikhail R.
%A Korovin, Konstantin
%A Reger, Giles
%A Cordeiro, Lucas C.
%B ISSTA
%D 2022
%E Ryu, Sukyoung
%E Smaragdakis, Yannis
%I ACM
%K dblp
%P 773-776
%T ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.
%U http://dblp.uni-trier.de/db/conf/issta/issta2022.html#BrausseSMGKRC22
%@ 978-1-4503-9379-9
@inproceedings{conf/issta/BrausseSMGKRC22,
added-at = {2023-03-21T00:00:00.000+0100},
author = {Brauße, Franz and Shmarov, Fedor and Menezes, Rafael and Gadelha, Mikhail R. and Korovin, Konstantin and Reger, Giles and Cordeiro, Lucas C.},
biburl = {https://www.bibsonomy.org/bibtex/26ecf378911161414c3d1263156322c3f/dblp},
booktitle = {ISSTA},
crossref = {conf/issta/2022},
editor = {Ryu, Sukyoung and Smaragdakis, Yannis},
ee = {https://doi.org/10.1145/3533767.3543289},
interhash = {66796795f771c449991e57f821eeb326},
intrahash = {6ecf378911161414c3d1263156322c3f},
isbn = {978-1-4503-9379-9},
keywords = {dblp},
pages = {773-776},
publisher = {ACM},
timestamp = {2024-04-09T20:41:32.000+0200},
title = {ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.},
url = {http://dblp.uni-trier.de/db/conf/issta/issta2022.html#BrausseSMGKRC22},
year = 2022
}