Skip to content
@haslab

High-Assurance Software Laboratory

Popular repositories Loading

  1. Electrum2 Electrum2 Public

    Forked from AlloyTools/org.alloytools.alloy

    Electrum is a temporal extension to 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 securi…

    Java 52 9

  2. Electrum Electrum Public

    A model checker for relational first-order temporal specifications

    Java 31 4

  3. Alloy4Fun Alloy4Fun Public

    Forked from jmcPereira/Alloy4FunWebApp

    A webapp for developing and sharing Alloy models

    JavaScript 27 8

  4. echo echo Public

    A tool for model repair and transformation

    Java 13 3

  5. why3do why3do Public

    Why3-do: a WhyML library for state machine specifications and distributed systems

    Shell 10

  6. HAAP HAAP Public

    Haskell Automated Assessment Platform

    Haskell 9 1

Repositories

Showing 10 of 40 repositories
  • jasmin.hybrid.combiners Public

    Experiments with Jasmin Hybrid PQC combiners

    haslab/jasmin.hybrid.combiners's past year of commit activity
    eC 1 Apache-2.0 1 0 0 Updated Oct 23, 2026
  • Alloy-LLM-Testing Public

    Scripts for the LLM generation, and subsequent validation, of Alloy instances fro, natural languages requirements.

    haslab/Alloy-LLM-Testing's past year of commit activity
    Python 0 1 0 0 Updated Oct 22, 2026
  • jasmin Public Forked from jasmin-lang/jasmin

    Language for high-assurance and high-speed cryptography

    haslab/jasmin's past year of commit activity
    Rocq Prover 0 MIT 88 0 0 Updated Oct 19, 2026
  • OmegaHyper Public Forked from hpacheco/AutoHyper

    Explicit-State Model Checking for HyperLTL

    haslab/OmegaHyper's past year of commit activity
    F# 0 GPL-3.0 4 0 0 Updated Oct 19, 2026
  • HyperSMV Public

    HyperSMV model checker

    haslab/HyperSMV's past year of commit activity
    Haskell 0 BSD-3-Clause 0 0 0 Updated Oct 14, 2026
  • HyperLasso Public

    Symbolic BMC for HyperLTL

    haslab/HyperLasso's past year of commit activity
    Haskell 2 BSD-3-Clause 0 0 0 Updated Oct 14, 2026
  • Specification-Narrowing Public
    haslab/Specification-Narrowing's past year of commit activity
    Alloy 0 0 0 0 Updated Oct 10, 2026
  • ABZ27-Case-Study Public

    This repository hosts the documents for the ABZ27 Case Study and serves as a space for sharing, discussing, and incorporating feedback.

    haslab/ABZ27-Case-Study's past year of commit activity
    2 0 1 0 Updated Oct 7, 2026
  • JasminCode Public

    Jasmin Code repository

    haslab/JasminCode's past year of commit activity
    eC 2 Apache-2.0 0 0 0 Updated Sep 30, 2026
  • HyperPardinus-benchmarks Public

    Docker and benchmarks for the HyperPardinus tool

    haslab/HyperPardinus-benchmarks's past year of commit activity
    Alloy 0 0 0 0 Updated Sep 18, 2026
View all repositories

Most used topics

Loading…