| Name | Date | Size | ||
|---|---|---|---|---|
| .. | 07-Dec-2020 | 26 | ||
| adl-spec/ | H | 09-Apr-2020 | 10 | |
| cdl-refine/ | H | 09-Apr-2020 | 5 | |
| glue-proofs/ | H | 09-Apr-2020 | 14 | |
| glue-spec/ | H | 09-Apr-2020 | 13 | |
| Makefile | H A D | 09-Apr-2020 | 570 | |
| README | H A D | 09-Apr-2020 | 401 | |
| ROOT | H A D | 30-Oct-2020 | 2.2 KiB | |
| tests.xml | H A D | 09-Apr-2020 | 655 |
README
1<!-- 2 Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 4 SPDX-License-Identifier: GPL-2.0-only 5--> 6 7CAmkES is a component platform for seL4. This directory contains files related 8to a formal Isabelle model of CAmkES. 9 10 adl-spec/ - Architectural model. 11 glue-proofs/ - AutoCorres-based work (bottom-up approach to glue code). 12 glue-spec/ - Behavioural model (top-down approach to glue code). 13