A Formal CHERI−C Semantics for Verification
Seung Hoon Park‚ Rekha Pai and Tom Melham
Book Title
Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2023
Editor
Sriram Sankaranarayanan and Natasha Sharygina
Pages
549–568
Publisher
Springer‚ Cham
Series
Lecture Notes in Computer Science
Volume
13993
Year
2023