Logic and Semantics @ Aarhus University

aneris Public
Program logic for developing and verifying distributed systems

logsem/aneris’s past year of commit activity

Coq 32 MIT 8 4 2 Updated Oct 2, 2024
clutch Public
Probabilistic separation logics for verifying higher-order probabilistic programs.

logsem/clutch’s past year of commit activity

Coq 13 MIT 3 0 1 Updated Oct 2, 2024
iris-project Public

logsem/iris-project’s past year of commit activity

HTML 2 18 1 1 Updated Oct 1, 2024
AxSL Public
AxSL, a concurrent separation logic for Arm's relaxed concurrency

logsem/AxSL’s past year of commit activity

Coq 1 0 0 0 Updated Sep 30, 2024
spirea Public

logsem/spirea’s past year of commit activity

Coq 2 0 0 0 Updated Sep 27, 2024
trillium Public
The Trillium logic for proving trace refinement properties such as liveness via Iris

logsem/trillium’s past year of commit activity

Coq 2 MIT 1 0 3 Updated Sep 26, 2024
gitrees Public
guarded interaction trees

logsem/gitrees’s past year of commit activity

Coq 4 1 0 0 Updated Sep 24, 2024
iriswasm Public
IrisWasm program logic and logical relation for WebAssembly

logsem/iriswasm’s past year of commit activity

Coq 0 MIT 0 0 0 Updated Sep 18, 2024
iris-tutorial Public

logsem/iris-tutorial’s past year of commit activity

Coq 9 6 0 0 Updated Sep 17, 2024
cerise Public
Formalisation of a capability machine and principles for reasoning about security properties

logsem/cerise’s past year of commit activity

Coq 17 3 5 1 Updated Sep 16, 2024

Provide feedback