[Submitted on 10 Feb 2023 (v1), last revised 15 Feb 2023 (this version, v2)]
Abstract: C-rusted is an innovative technology whereby C programs can be (partly)
annotated so as to express: ownership, exclusivity and shareability of
language, system and user-defined resources; dynamic pr
