camkes
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
<!--
Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
SPDX-License-Identifier: GPL-2.0-only
-->
CAmkES is a component platform for seL4. This directory contains files related
to a formal Isabelle model of CAmkES.
adl-spec/ - Architectural model.
glue-proofs/ - AutoCorres-based work (bottom-up approach to glue code).
glue-spec/ - Behavioural model (top-down approach to glue code).