A Formal Model of Checked C.

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

Published in: CSF (2022)

Keyphrases

formal model
formal models
predicate calculus
security properties
security patterns
information systems
low cost
goal oriented