Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] New in the AFP: A Formal CHERI-C Memory Model

view this post on Zulip Email Gateway (Nov 28 2022 at 12:50):

From: Lawrence Paulson <lp15@cam.ac.uk>
I’m happy to announce a very substantial new entry, which is thanks to Seung Hoon Park:

Now online at https://www.isa-afp.org/entries/CHERI-C_Memory_Model.html

Larry Paulson

Last updated: Jan 04 2025 at 20:18 UTC