Commit b1736f2f authored by Robbert Krebbers's avatar Robbert Krebbers

Merge branch 'actris_case_study' into 'master'

Added Actris to Case Studies in README

See merge request iris/iris!360
parents 446bc644 8d6b7c71
Pipeline #23069 passed with stage
in 18 minutes and 1 second
......@@ -108,6 +108,9 @@ that should be compatible with this version:
* [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]( is a separation logic
built on top of Iris for session-type based reasoning of message-passing
## Further Resources
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment