Skip to content
Change the repository type filter

All

    Repositories list

    • vercors

      Public
      The VerCors verification toolset for verifying parallel and concurrent software
      Scala
      Mozilla Public License 2.0
      26631589Updated Dec 20, 2024Dec 20, 2024
    • Repository to contain the built VerCors website for automated deployment
      HTML
      0000Updated Dec 3, 2024Dec 3, 2024
    • HTML
      1020Updated Dec 3, 2024Dec 3, 2024
    • DFTRES

      Public
      Rare event simulation tool for Dynamic Fault Trees
      Java
      GNU General Public License v3.0
      4400Updated Nov 8, 2024Nov 8, 2024
    • dftcalc

      Public
      DFTCalc: A Dynamic Fault Tree calculator for reliability and availability
      C++
      MIT License
      61370Updated Nov 7, 2024Nov 7, 2024
    • ltsmin

      Public
      The LTSmin model checking toolset
      C
      BSD 3-Clause "New" or "Revised" License
      3156683Updated Oct 31, 2024Oct 31, 2024
    • TypeScript
      Mozilla Public License 2.0
      0091Updated Apr 26, 2024Apr 26, 2024
    • divine2

      Public
      C++
      Other
      2000Updated Nov 18, 2023Nov 18, 2023
    • sylvan

      Public
      Multi-core Decision Diagram (BDD/LDD) implementation
      C
      Apache License 2.0
      84131Updated Nov 17, 2023Nov 17, 2023
    • Artifact for the submission of our paper to FMCAD 2023
      Python
      Mozilla Public License 2.0
      0100Updated Jul 12, 2023Jul 12, 2023
    • buddy

      Public
      C
      71000Updated Sep 6, 2022Sep 6, 2022
    • ltl2ba

      Public
      C
      Other
      2310Updated Oct 25, 2020Oct 25, 2020
    • SMC-Check

      Public
      Kotlin
      1000Updated May 13, 2020May 13, 2020
    • JavaScript
      0000Updated Jan 16, 2020Jan 16, 2020
    • JavaScript
      0000Updated Jan 10, 2020Jan 10, 2020
    • Experiment data for UrPal paper
      0000Updated Jun 25, 2019Jun 25, 2019
    • UrPal

      Public
      UPPAAL Sanity Checker
      Kotlin
      1561Updated Jun 24, 2019Jun 24, 2019
    • Practical Abstractions for Automated Verification of Message Passing Concurrency
      Coq
      0100Updated Jun 17, 2019Jun 17, 2019
    • Parsing plain-text UPPAAL files to Ecore models using the UPPAAL meta-model and libutap
      Java
      0000Updated Jun 11, 2019Jun 11, 2019
    • uppaal

      Public
      EMF-based tooling for the UPPAAL model checker
      Java
      Eclipse Public License 1.0
      5100Updated Jun 11, 2019Jun 11, 2019
    • Automated Verification of Parallel Nested DFS
      0000Updated Apr 20, 2019Apr 20, 2019
    • Symbolically Aligning Observed and Modelled Behaviour
      0000Updated Feb 13, 2019Feb 13, 2019
    • Minimal-Time Synthesis for Parametric Timed Automata
      R
      0000Updated Jan 30, 2019Jan 30, 2019
    • Maximizing Synchronization for Aligning Observed and Modelled Behaviour
      0000Updated Jan 15, 2019Jan 15, 2019
    • spins

      Public
      Java
      4030Updated Dec 2, 2018Dec 2, 2018
    • Practical Abstractions for Automated Verification of Concurrent Program Behaviour
      Coq
      0000Updated Nov 16, 2018Nov 16, 2018
    • attop

      Public
      Attack Tree translator and analyzer
      Java
      2300Updated Jul 18, 2018Jul 18, 2018
    • jsylvan

      Public
      JNI Bindings for Sylvan
      Java
      Apache License 2.0
      3320Updated Jul 15, 2018Jul 15, 2018
    • Haskell
      Other
      0000Updated Jul 8, 2018Jul 8, 2018
    • Explicit State Model Checking with Generalized Büchi and Rabin Automata
      R
      1100Updated May 18, 2018May 18, 2018