Experimental Smart Contracts In Plutus.
-
Updated
Mar 12, 2019 - Haskell
#
mcrl2
Here are 13 public repositories matching this topic...
Multiparty Session Types toolKit
-
Updated
May 7, 2025 - 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
Colored Petri Nets to mCRL2: the translation from my MSc thesis, proved correct in Lean 4, with three implementations checked against the SNAKES Python library.
-
Updated
Sep 22, 2026 - Lean
Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
-
Updated
Apr 22, 2019 - Emacs Lisp
Interaction and Concurrency
-
Updated
Feb 1, 2026 - HTML
The purpose of this course is to learn how to abstractly design behavior of a system and to analyze this behavior before the system is built. You'll learn how to precisely write down behavior and prove it. With this practical assignment you will experience how to apply the techniques.
-
Updated
Nov 2, 2026 - Nix
Add this topic to your repo
To associate your repository with the mcrl2 topic, visit your repo's landing page and select "manage topics."