Skip to content

@WatForm Waterloo Formal Methods Lab (WatForm)

Change the repository type filter

All

    Repositories list

    19 repositories

    • dashplus

      Public
      Java
      •
      MIT License
      •0•1•0•0•Updated Jan 7, 2026Jan 7, 2026

    • dash-testing

      Public
      Integration testing for Dash translations to other languages
      Python
      •
      MIT License
      •1•0•0•0•Updated Nov 3, 2025Nov 3, 2025

    • portus-evaluation

      Public
      Evaluation scripts for "Portus: Linking Alloy with SMT-based Finite Model Finding"
      Python
      •
      MIT License
      •0•0•0•0•Updated Oct 4, 2025Oct 4, 2025

    • fortress

      Public
      Fortress: Finite Model Finder for Many-Sorted First-Order Logic
      Scala
      •
      MIT License
      •0•6•15•0•Updated Sep 16, 2025Sep 16, 2025

    • org.alloytools.alloy

      Public
      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.
      Java
      •
      Other
      •134•4•1•3•Updated Sep 16, 2025Sep 16, 2025

    • alloy-llms

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Jun 10, 2025Jun 10, 2025

    • opfi-evaluation

      Public
      Repository for evaluating Overflow-Preventing Finite Integers
      Python
      •0•0•0•0•Updated Jan 15, 2025Jan 15, 2025

    • 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
      Python
      •
      MIT License
      •0•0•0•0•Updated Sep 3, 2024Sep 3, 2024

    • aldb

      Public
      A debugger for transition systems modelled in Alloy
      debuggerclimodelingalloytransition-systemsalloytoolsalloy-analyzer
      Java
      •
      Apache License 2.0
      •1•6•2•1•Updated Aug 20, 2024Aug 20, 2024

    • example-using-testrunner

      Public
      Simple example of how to use the python scripts in the testrunner repository.
      Python
      •
      MIT License
      •0•0•0•0•Updated Aug 12, 2024Aug 12, 2024

    • fortress-evaluation

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Aug 11, 2024Aug 11, 2024

    • evaluation-scripts

      Public
      This repo is no longer being used.
      Python
      •
      MIT License
      •0•0•0•0•Updated Jul 23, 2024Jul 23, 2024

    • watform-models

      Public
      TLA
      •0•3•0•0•Updated Aug 3, 2023Aug 3, 2023

    • 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.
      Java
      •
      MIT License
      •0•0•0•0•Updated Jan 13, 2023Jan 13, 2023

    • fortress-eval-poremba-symmetry

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Nov 16, 2022Nov 16, 2022

    • Dashplusdocs

      Public
      Documentation for Dash+
      MIT License
      •0•0•0•0•Updated Jun 23, 2022Jun 23, 2022

    • fortress-journal-eval

      Public
      Evaluation of Fortress in comparison to other tools and itself for fortress journal paper
      Python
      •
      MIT License
      •0•0•0•1•Updated Apr 25, 2022Apr 25, 2022

    • profiling-alloy-models

      Public
      A project containing a number of scripts used to investigate the characteristics, patterns of use and analysis complexity of Alloy Models.
      Java
      •
      MIT License
      •0•0•0•0•Updated Jan 19, 2022Jan 19, 2022

    • catalyst

      Public
      Alloy
      •1•0•0•1•Updated Jul 8, 2021Jul 8, 2021