Skip to content
@WatForm

Waterloo Formal Methods Lab (WatForm)

Pinned Loading

  1. 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 switch…

    Java 4

  2. fortress Public

    Fortress: Finite Model Finder for Many-Sorted First-Order Logic

    Scala 5

Repositories

Showing 10 of 17 repositories
  • fortress Public

    Fortress: Finite Model Finder for Many-Sorted First-Order Logic

    Scala 5 MIT 0 15 0 Updated Apr 22, 2025
  • 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.

    Java 4 126 1 3 Updated Apr 19, 2025
  • portus-evaluation Public

    Evaluation scripts for "Portus: Linking Alloy with SMT-based Finite Model Finding"

    Python 0 MIT 0 0 0 Updated Feb 22, 2025
  • opfi-evaluation Public

    Repository for evaluating Overflow-Preventing Finite Integers

    Python 0 0 0 0 Updated Jan 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 0 MIT 0 0 0 Updated Sep 3, 2024
  • dash-testing Public

    Integration testing for Dash translations to other languages

    Python 0 MIT 1 0 0 Updated Aug 22, 2024
  • aldb Public

    A debugger for transition systems modelled in Alloy

    Java 6 Apache-2.0 1 2 1 Updated Aug 20, 2024
  • example-using-testrunner Public

    Simple example of how to use the python scripts in the testrunner repository.

    Python 0 MIT 0 0 0 Updated Aug 12, 2024
  • fortress-evaluation Public
    Python 0 MIT 0 0 0 Updated Aug 11, 2024
  • evaluation-scripts Public

    This repo is no longer being used.

    Python 0 MIT 0 0 0 Updated Jul 23, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…