A Formal Model of Checked C.

Liyi Li Yiyun Liu Deena L. Postol Leonidas Lampropoulos David Van Horn Michael Hicks

Published in: CoRR (2022)

Keyphrases

formal model
predicate calculus
formal models
security properties
low cost
information systems
intrusion detection
formal semantics
probabilistic knowledge