Mechanized Logical Relations for Termination-Insensitive Noninterference - Coq Artifact

doi:10.5281/zenodo.4068078

Published October 6, 2020 | Version v2

Software Open

Mechanized Logical Relations for Termination-Insensitive Noninterference - Coq Artifact

Gregersen, Simon¹

1. Aarhus University

A Coq artifact accompanying the paper "Mechanized Logical Relations for Termination-Insensitive Noninterference" by Simon Oddershede Gregersen, Johan Bay, Amin Timany, and Lars Birkedal.

Files

artifact.zip

Files (963.9 kB)

Name	Size	Download all
artifact.zip md5:34318a32673f43e14a1cbdb462d69289	963.9 kB	Preview Download

307

Views

Downloads

Show more details

	All versions	This version
Views	307	278
Downloads	13	11
Data volume	12.6 MB	10.6 MB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Technical metadata

Created: October 6, 2020
Modified: October 8, 2020

Mechanized Logical Relations for Termination-Insensitive Noninterference - Coq Artifact

Creators

Description

Files

artifact.zip

Files (963.9 kB)