NameDateSize

..25-Jul-201920

adl-spec/H25-Jul-201910

cdl-refine/H25-Jul-20195

glue-proofs/H25-Jul-201914

glue-spec/H25-Jul-201913

MakefileH A D25-Jul-2019713

READMEH A D25-Jul-2019534

ROOTH A D25-Jul-20192.3 KiB

tests.xmlH A D25-Jul-2019791

README

1#
2# Copyright 2014, NICTA
3#
4# This software may be distributed and modified according to the terms of
5# the GNU General Public License version 2. Note that NO WARRANTY is provided.
6# See "LICENSE_GPLv2.txt" for details.
7#
8# @TAG(NICTA_GPL)
9#
10
11CAmkES is a component platform for seL4. This directory contains files related
12to a formal Isabelle model of CAmkES.
13
14 adl-spec/ - Architectural model.
15 glue-proofs/ - AutoCorres-based work (bottom-up approach to glue code).
16 glue-spec/ - Behavioural model (top-down approach to glue code).
17