%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 }