logsem/iris-lecture-notes logsem/iris-lecture-notes

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    TeX
  • License
    Other
  • Created about 2 years ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
logsem/iris-lecture-notes
github

logsem

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

aneris

Program logic for developing and verifying distributed systems
Coq
31
star
2

mitten_preorder

OCaml
26
star
3

cerise

Formalisation of a capability machine and principles for reasoning about security properties
Coq
17
star
4

clutch

Probabilistic separation logics for verifying higher-order probabilistic programs.
Coq
13
star
5

iris-tutorial

Coq
12
star
6

melocoton

Coq
9
star
7

free-theorems-sl

Coq
8
star
8

iris-tini

Logical relations for termination-insensitive noninterference in Iris
Coq
4
star
9

gitrees

guarded interaction trees
Coq
4
star
10

VMSL

Verifying FF-A hypercalls using VMSL.
Coq
3
star
11

cerise-interpreter

OCaml
2
star
12

well-bracketed-logic

Coq
2
star
13

fw-rec-inj

Coq
2
star
14

iris-project

HTML
2
star
15

spirea

Coq
2
star
16

trillium

The Trillium logic for proving trace refinement properties such as liveness via Iris
Coq
2
star
17

talent-track-2020

TeX
1
star
18

cerise-stack

Formalisation of stack safety properties on a capability machine with local and uninitialized capabilities
Coq
1
star
19

AxSL

AxSL, a concurrent separation logic for Arm's relaxed concurrency
Coq
1
star
20

cerise-stack-monotone

Formalisation of temporal stack safety properties on a capability machine with local, uninitialized and directed capabilities.
Coq
1
star
21

machine_utils

Coq
1
star
22

MSWasm

Coq
1
star