Waterloo Formal Methods Lab (WatForm)
- 7 followers
- University of Waterloo
- https://watform.uwaterloo.ca
Pinned Loading
Repositories
Showing 10 of 15 repositories
- org.alloytools.alloy Public Forked from AlloyTools/org.alloytools.alloy
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
WatForm/org.alloytools.alloy’s past year of commit activity - testrunner Public
Python scripts for running a CLI command with the cross product of values for multiple options and recording information about each run in an output .csv file
WatForm/testrunner’s past year of commit activity - example-using-testrunner Public
Simple example of how to use the python scripts in the testrunner repository.
WatForm/example-using-testrunner’s past year of commit activity - portus-evaluation Public
WatForm/portus-evaluation’s past year of commit activity - watform-models Public
WatForm/watform-models’s past year of commit activity - static-profiling-of-alloy-models Public
A project containing a number of scripts used to investigate the characteristics, patterns of use and analysis complexity of Alloy Models.
WatForm/static-profiling-of-alloy-models’s past year of commit activity
