All Categories → No Category → mcrl2

Top 1 mcrl2 open source projects

plutus-experimental-smart-contracts

Experimental Smart Contracts In Plutus.

✭ 34

haskell smart-contracts model-checking formal-methods plutus mcrl2 cardano

1-1 of 1 mcrl2 projects