Pinned Repositories
aldb
A debugger for transition systems modelled in Alloy
catalyst
Dashplus
Documentation for Dash+
fortress
Fortress: Finite Model Finder for Many-Sorted First-Order Logic
fortress-evaluation
opfi-evaluation
Repository for evaluating Overflow-Preventing Finite Integers
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.
profiling-alloy-models
A project containing a number of scripts used to investigate the characteristics, patterns of use and analysis complexity of Alloy Models.
static-profiling-of-alloy-models
A project containing a number of scripts used to investigate the characteristics, patterns of use and analysis complexity of Alloy Models.
watform-models
Waterloo Formal Methods Lab (WatForm)'s Repositories
WatForm/aldb
A debugger for transition systems modelled in Alloy
WatForm/fortress
Fortress: Finite Model Finder for Many-Sorted First-Order Logic
WatForm/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/watform-models
WatForm/catalyst
WatForm/dash-testing
Integration testing for Dash translations to other languages
WatForm/Dashplus
Documentation for Dash+
WatForm/evaluation-scripts
This repo is no longer being used.
WatForm/example-using-testrunner
Simple example of how to use the python scripts in the testrunner repository.
WatForm/fortress-eval-poremba-symmetry
WatForm/fortress-evaluation
WatForm/fortress-journal-eval
Evaluation of Fortress in comparison to other tools and itself for fortress journal paper
WatForm/opfi-evaluation
Repository for evaluating Overflow-Preventing Finite Integers
WatForm/portus-evaluation
WatForm/profiling-alloy-models
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
A project containing a number of scripts used to investigate the characteristics, patterns of use and analysis complexity of Alloy Models.
WatForm/testrunner
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