Artifact
General RGSep Software
Author
Vincent Jackson 
- Part of: Collection: Supplementary Materials
- License: BSD 3-Clause "New" or "Revised" License
- Publication Date: 2024-11-28
Content
- Software (Mechanised Proof): https://github.com/vjackson725/GeneralRGSep/tree/itp24
-
archived version
Version/Status
- Content created at: 2024-03-18
- Status: Active (at the time of publication 2024-11-28)
Cite As Get BibTex
Vincent Jackson. General RGSep (Software, Mechanised Proof). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22484
Description
This repository contains an implementation of a Generic RGSep and a proof of its soundness.
Subject Classification
Programming Languages
- Isabelle/HOL
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)