CSM Lab @ uOttawa
A research group in the EECS department at University of Ottawa, focusing on specification, analysis and code generation of smart (legal) contracts.
- 6 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
Showing 10 of 17 repositories
- 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 - SymboleoAC-JS-Core Public
Smart-Contract-Modelling-uOttawa/SymboleoAC-JS-Core’s past year of commit activity - symboleo-nlp Public
Smart-Contract-Modelling-uOttawa/symboleo-nlp’s past year of commit activity - CHEA-Simulation Public
Smart-Contract-Modelling-uOttawa/CHEA-Simulation’s past year of commit activity - Symboleo-Model-Checker-Test-Generator Public
A test generator application designed to create performance benchmarks for SymploeoPC
Smart-Contract-Modelling-uOttawa/Symboleo-Model-Checker-Test-Generator’s past year of commit activity - Symboleo-JS-Core Public
Smart-Contract-Modelling-uOttawa/Symboleo-JS-Core’s past year of commit activity - SymboleoPC Public
Smart-Contract-Modelling-uOttawa/SymboleoPC’s past year of commit activity
