Smart-Contract-Modelling-uOttawa/Symboleo-Generator-Prototype Smart-Contract-Modelling-uOttawa/Symboleo-Generator-Prototype

  • Stars
    star
    1
  • Language
    Java
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Smart-Contract-Modelling-uOttawa/Symboleo-Generator-Prototype
github

Smart-Contract-Modelling-uOttawa

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

Symboleo-IDE

An IDE for Symboleo, a formal contract specification language.
Xtend
18
star
2

Symboleo-Compliance-Checker

This repo contains the compliance checker for Symboleo.
Java
6
star
3

Symboleo-Model-Checker

Verification of Symboleo specifications with the nuXmv model checker tool
2
star
4

Symboleo2SC-demo

JavaScript
2
star
5

Symboleo-Model-Checker-Test-Generator

A test generator application for making SymploeoPC performance benchmark
Java
2
star
6

Traceability

Java
1
star
7

Symboleo-web

A web based IDE created for the symboleo language using monaco-languageclient
JavaScript
1
star
8

Symboleo-Cloud-IDE

Cloud implementation of the Symboleo IDE
Java
1
star
9

Symboleo-NLP

Jupyter Notebook
1
star