Skip to content
@utwente-fmt

University of Twente - Formal Methods and Tools

Pinned Loading

  1. ltsmin ltsmin Public

    The LTSmin model checking toolset

    C 51 30

  2. vercors vercors Public

    The VerCors verification toolset for verifying parallel and concurrent software

    Scala 51 24

  3. scoop scoop Public

    SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes

    Haskell 2

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 51 MPL-2.0 24 131 8 Updated Jul 5, 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 Jun 13, 2024
  • vercors-web Public
    utwente-fmt/vercors-web’s past year of commit activity
    HTML 0 1 2 0 Updated Jun 13, 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
  • ltsmin Public

    The LTSmin model checking toolset

    utwente-fmt/ltsmin’s past year of commit activity
    C 51 BSD-3-Clause 30 66 (2 issues need help) 6 Updated Mar 8, 2024
  • dftcalc Public

    DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

    utwente-fmt/dftcalc’s past year of commit activity
    C++ 12 MIT 6 7 0 Updated Feb 19, 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 3 0 0 Updated Feb 19, 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 40 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

Top languages

Loading…

Most used topics

Loading…