mcrl2

There are 0 repository under mcrl2 topic.

robkorn / plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
plutus smart-contracts haskell cardano mcrl2 formal-methods model-checking
Language:Haskell 34
alcestes / mpstk
Multiparty Session Types toolKit
session-types model-checking mcrl2 deadlock-avoidance liveness safety
Language:Scala 15
epost / mcrl2-mode
Emacs mode for mCRL2 specification language
mcrl2 modeling verification emacs-mode process-algebra
Language:Emacs Lisp 2
casperbp / mcrl2-mode
Emacs mode for editing mCRL2 and MCF files
emacs mcrl2
Language:Emacs Lisp 1
FatemeMarzani / MCRL2-diningphilosopher
mcrl2 dining philosopher none deterministic
mcrl2 dining-philosophers dining-philosophers-problem model-checking
1
gkrls / ATermLib
The ATerm library extracted from mCRL2
aterm-library mcrl2 cpp
Language:C++ 1
hadisfr / mCRL2-crazy-elevator
A Project for Advanced Topics in Formal Methods in Software Engineering S98 at UT - mirror of https://gitlab.com/hadi_sfr/mCRL2-crazy-elevator
mcrl2
Prithvish04 / starliner_mcrl2
A starliner mission modelling project in MCRL2
mcrl2 starliner system-validation tudelft
Language:Shell
robkorn / mCRL2-spacemacs-layer
Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
mcrl2 model-checking formal-methods formal-specification emacs spacemacs spacemacs-layer
Language:Emacs Lisp
yurrriq / learning-mcrl2
mcrl2 learning

robkorn / plutus-experimental-smart-contracts