Skip to content
@utwente-fmt

University of Twente - Formal Methods and Tools

Pinned Loading

  1. ltsmin Public

    The LTSmin model checking toolset

    C 57 30

  2. vercors Public

    The VerCors verification toolset for verifying parallel and concurrent software

    Scala 70 28

  3. 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

    Scala 70 MPL-2.0 28 174 8 Updated Mar 21, 2025
  • vercors-web-build Public

    Repository to contain the built VerCors website for automated deployment

    HTML 0 0 0 0 Updated Mar 12, 2025
  • vercors-web Public
    HTML 0 1 2 0 Updated Mar 12, 2025
  • vercors-server Public
    JavaScript 0 0 0 0 Updated Mar 12, 2025
  • tool-server Public
    JavaScript 0 0 0 0 Updated Mar 12, 2025
  • DFTRES Public

    Rare event simulation tool for Dynamic Fault Trees

    Java 4 GPL-3.0 4 0 0 Updated Nov 8, 2024
  • dftcalc Public

    DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

    C++ 13 MIT 6 7 0 Updated Nov 7, 2024
  • ltsmin Public

    The LTSmin model checking toolset

    C 57 BSD-3-Clause 30 68 (2 issues need help) 3 Updated Oct 31, 2024
  • vercors-ide Public
    TypeScript 0 MPL-2.0 1 9 1 Updated Apr 26, 2024
  • divine2 Public
    C++ 0 2 0 0 Updated Nov 18, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…