Experimental Smart Contracts In Plutus.
-
Updated
Mar 12, 2019 - Haskell
#
mcrl2
Here are 9 public repositories matching this topic...
Multiparty Session Types toolKit
-
Updated
Jun 18, 2019 - Scala
Emacs mode for mCRL2 specification language
-
Updated
Dec 30, 2017 - Emacs Lisp
mcrl2 dining philosopher none deterministic
-
Updated
Feb 14, 2020
A Project for Advanced Topics in Formal Methods in Software Engineering S98 at UT - mirror of https://gitlab.com/hadi_sfr/mCRL2-crazy-elevator
-
Updated
May 12, 2019
Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
-
Updated
Apr 22, 2019 - Emacs Lisp
Improve this page
Add a description, image, and links to the mcrl2 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the mcrl2 topic, visit your repo's landing page and select "manage topics."