Added Actris to Case Studies in README

8d6b7c71 · Jonas Kastberg · Robbert Krebbers · 446bc644 · 8d6b7c71
Commit 8d6b7c71 authored Jan 21, 2020 by Jonas Kastberg Committed by Robbert Krebbers Jan 21, 2020
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

README.md README.md +3 -0

No files found.
--- a/README.md
+++ b/README.md
@@ -108,6 +108,9 @@ that should be compatible with this version:
 * [Iron](https://gitlab.mpi-sws.org/iris/iron) is a linear separation logic
  built on top of Iris for precise reasoning about resources (such as making
  sure there are no memory leaks).
+* [Actris](https://gitlab.mpi-sws.org/iris/actris) is a separation logic
+  built on top of Iris for session-type based reasoning of message-passing
+  programs.

 ## Further Resources