A Formal CHERI-C Memory Model.

Seung Hoon Park

Published in: Arch. Formal Proofs (2022)

Keyphrases

formal model
computational model
probabilistic model
conceptual model
high level
video sequences
mathematical model
neural network model
object model