Repositories Users Organizations
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
dan / rushby-noninterference
Coq 0 0
formalisation of Rushby's intransitive noninterference from "Noninterference, Transitivity, and Channel-Control Security Policies"
Updated 2019-07-30 11:07:37 +02:00
dan / czf
Coq 0 0
CZF model in type theory
Updated 2019-07-30 11:02:35 +02:00
dan / hoare-completeness
Coq 0 0
Relative completness of Hoare logic
Updated 2019-07-30 10:46:57 +02:00
dan / HITs-Examples
Coq 0 0
Updated 2018-02-10 20:06:37 +01:00