Skip to content
@utwente-fmt

University of Twente - Formal Methods and Tools

Pinned Loading

  1. ltsmin ltsmin Public

    The LTSmin model checking toolset

    C 56 31

  2. vercors vercors Public

    The VerCors verification toolset for verifying parallel and concurrent software

    Scala 63 26

  3. scoop scoop Public

    SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes

    Haskell 1 3

Repositories

Showing 10 of 61 repositories
  • vercors Public

    The VerCors verification toolset for verifying parallel and concurrent software

    utwente-fmt/vercors’s past year of commit activity
    Scala 63 MPL-2.0 26 158 9 Updated Dec 20, 2024
  • vercors-web-build Public

    Repository to contain the built VerCors website for automated deployment

    utwente-fmt/vercors-web-build’s past year of commit activity
    HTML 0 0 0 0 Updated Dec 3, 2024
  • vercors-web Public
    utwente-fmt/vercors-web’s past year of commit activity
    HTML 0 1 2 0 Updated Dec 3, 2024
  • DFTRES Public

    Rare event simulation tool for Dynamic Fault Trees

    utwente-fmt/DFTRES’s past year of commit activity
    Java 4 GPL-3.0 4 0 0 Updated Nov 8, 2024
  • dftcalc Public

    DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

    utwente-fmt/dftcalc’s past year of commit activity
    C++ 13 MIT 6 7 0 Updated Nov 7, 2024
  • ltsmin Public

    The LTSmin model checking toolset

    utwente-fmt/ltsmin’s past year of commit activity
    C 56 BSD-3-Clause 31 68 (2 issues need help) 3 Updated Oct 31, 2024
  • vercors-ide Public
    utwente-fmt/vercors-ide’s past year of commit activity
    TypeScript 0 MPL-2.0 0 9 1 Updated Apr 26, 2024
  • divine2 Public
    utwente-fmt/divine2’s past year of commit activity
    C++ 0 2 0 0 Updated Nov 18, 2023
  • sylvan Public

    Multi-core Decision Diagram (BDD/LDD) implementation

    utwente-fmt/sylvan’s past year of commit activity
    C 41 Apache-2.0 8 3 1 Updated Nov 17, 2023
  • FMCAD-2023 Public

    Artifact for the submission of our paper to FMCAD 2023

    utwente-fmt/FMCAD-2023’s past year of commit activity
    Python 1 MPL-2.0 0 0 0 Updated Jul 12, 2023
View all repositories

Most used topics

Loading…