Skip to content

Navigation Menu

utwente-fmt

Explore
For
- Enterprise
- Teams
- Startups
- Education
By Solution
Resources
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

University of Twente - Formal Methods and Tools

5 followers
Enschede, The Netherlands
http://fmt.cs.utwente.nl/

Overview
Repositories
Projects
Packages
People

More

Overview
Repositories
Projects
Packages
People

Pinned

ltsmin ltsmin Public

The LTSmin model checking toolset

C 50 30
vercors vercors Public

The VerCors verification toolset for verifying parallel and concurrent software

Scala 49 23
scoop scoop Public

SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes

Haskell 2

Repositories

Type

Select type

All Public Sources Forks Archived Mirrors Templates

Language

Select language

All C C++ Coq CSS Haskell HTML Java JavaScript Kotlin Python R Scala TypeScript

Sort

Select order

Last updated Name Stars

Showing 10 of 61 repositories

vercors Public
The VerCors verification toolset for verifying parallel and concurrent software

Scala 49 MPL-2.0 23 125 7 Updated May 2, 2024
vercors-web-build Public
Repository to contain the built VerCors website for automated deployment

HTML 0 0 0 0 Updated May 1, 2024
vercors-web Public

HTML 0 1 2 0 Updated May 1, 2024
vercors-ide Public

TypeScript 0 MPL-2.0 0 8 1 Updated Apr 26, 2024
ltsmin Public
The LTSmin model checking toolset

C 50 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

C++ 12 MIT 6 7 0 Updated Feb 19, 2024
DFTRES Public
Rare event simulation tool for Dynamic Fault Trees

Java 4 GPL-3.0 3 0 0 Updated Feb 19, 2024
divine2 Public

C++ 0 2 0 0 Updated Nov 18, 2023
sylvan Public
Multi-core Decision Diagram (BDD/LDD) implementation

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

Python 1 MPL-2.0 0 0 0 Updated Jul 12, 2023

View all repositories

People

Top languages

Loading…

Most used topics

Loading…

Footer

© 2024 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.