CSM Lab @ uOttawa
- 8 followers
- Ottawa, ON, Canada
- https://sites.google.com/uottawa.ca/csmlab/
- sctt2050@gmail.com
Popular repositories Loading
-
Symboleo-IDE
Symboleo-IDE PublicAn IDE for Symboleo, a formal contract specification language.
-
Symboleo-Compliance-Checker
Symboleo-Compliance-Checker PublicThis repo contains the compliance checker for Symboleo.
-
Symboleo-Model-Checker-Test-Generator
Symboleo-Model-Checker-Test-Generator PublicA test generator application designed to create performance benchmarks for SymploeoPC
Java 5
-
Symboleo-Model-Checker
Symboleo-Model-Checker PublicVerification of Symboleo specifications with the nuXmv model checker tool
-
-
Repositories
- SymboleoAC-Application-API Public
Smart-Contract-Modelling-uOttawa/SymboleoAC-Application-API’s past year of commit activity - SymboleoAC-JS-Core Public
Smart-Contract-Modelling-uOttawa/SymboleoAC-JS-Core’s past year of commit activity - SymboleoAC-IDE Public
Smart-Contract-Modelling-uOttawa/SymboleoAC-IDE’s past year of commit activity - SymboleoAC2SC Public
Smart-Contract-Modelling-uOttawa/SymboleoAC2SC’s past year of commit activity - Symboleo2SC-SymboleoPC-Combined Public
This repository contains the combined version of Symboleo Pc and Symboleo 2SC which generates the specified contracts at same time.
Smart-Contract-Modelling-uOttawa/Symboleo2SC-SymboleoPC-Combined’s past year of commit activity - Symboleo-GPT Public
It contains feedback loop for error correction for Symboleo Contracts with statistical analyzer.
Smart-Contract-Modelling-uOttawa/Symboleo-GPT’s past year of commit activity - Symboleo2SC-demo Public
Smart-Contract-Modelling-uOttawa/Symboleo2SC-demo’s past year of commit activity - Symboleo-Model-Checker Public
Verification of Symboleo specifications with the nuXmv model checker tool
Smart-Contract-Modelling-uOttawa/Symboleo-Model-Checker’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…