Local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP). https://www.isa-afp.org/entries/UPF.shtml
Ви не можете вибрати більше 25 тем Теми мають розпочинатися з літери або цифри, можуть містити дефіси (-) і не повинні перевищувати 35 символів.
 
 
 
Achim D. Brucker f04c93ce06 Added installation instructions. 11 місяці тому
.ci Migration to Isabelle 2020. 11 місяці тому
UPF Import of official AFP entry for Isabelle 2019. 1 рік тому
CITATION Added publications. 4 роки тому
LICENSE Initial commit. 4 роки тому
README.md Added installation instructions. 11 місяці тому

README.md

The Unified Policy Framework (UPF)

This git repository contains a local mirror of The Unified Policy Framework (UPF) entry of the Archive of Formal Proofs (AFP).

The official AFP releases are tagged. Additionally, this repository may contain extensions (i.e., a development version) that may be submitted (as an update of the UPF entry) at a later stage.

Installation

achim@logicalhacking:~$ isabelle build -D UPF

Authors

License

This project is licensed under a 3-clause BSD-style license.

SPDX-License-Identifier: BSD-3-Clause

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com/afp-mirror/UPF.

Publications