Giters
University of Twente - Formal Methods and Tools (utwente-fmt)

University of Twente - Formal Methods and Tools

utwente-fmt

Organization data from Github https://github.com/utwente-fmt

Location:Enschede, The Netherlands

Home Page:http://fmt.cs.utwente.nl/

GitHub:@utwente-fmt

University of Twente - Formal Methods and Tools's repositories

vercors

The VerCors verification toolset for verifying parallel and concurrent software

Language:ScalaLicense:MPL-2.0Stargazers:81Issues:8Issues:677

ltsmin

The LTSmin model checking toolset

Language:CLicense:BSD-3-ClauseStargazers:59Issues:13Issues:171

sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

Language:CLicense:Apache-2.0Stargazers:43Issues:11Issues:10

dftcalc

DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

Language:C++License:MITStargazers:15Issues:7Issues:12

buddy

Language:CStargazers:11Issues:8Issues:1

ltl2ba

Language:CLicense:NOASSERTIONStargazers:5Issues:11Issues:2

UrPal

UPPAAL Sanity Checker

Language:KotlinStargazers:5Issues:1Issues:16

DFTRES

Rare event simulation tool for Dynamic Fault Trees

Language:JavaLicense:GPL-3.0Stargazers:4Issues:11Issues:4

attop

Attack Tree translator and analyzer

Language:JavaStargazers:3Issues:11Issues:0

jsylvan

JNI Bindings for Sylvan

Language:JavaLicense:Apache-2.0Stargazers:3Issues:8Issues:2

FMCAD-2023

Artifact for the submission of our paper to FMCAD 2023

Language:PythonLicense:MPL-2.0Stargazers:1Issues:14Issues:0

iFM19-MessagePassingAbstr

Practical Abstractions for Automated Verification of Message Passing Concurrency

Language:CoqStargazers:1Issues:1Issues:0

uppaal

EMF-based tooling for the UPPAAL model checker

Language:JavaLicense:EPL-1.0Stargazers:1Issues:11Issues:0

spins

Language:JavaStargazers:0Issues:8Issues:11

vercors-ide

Language:TypeScriptLicense:MPL-2.0Stargazers:0Issues:6Issues:32

vercors-web

Language:HTMLStargazers:0Issues:12Issues:6

CONCUR19-PNDFS

Automated Verification of Parallel Nested DFS

Stargazers:0Issues:10Issues:0

divine2

Language:C++License:NOASSERTIONStargazers:0Issues:6Issues:0

ESOP2019-ProgramAbstractions

Practical Abstractions for Automated Verification of Concurrent Program Behaviour

Language:CoqStargazers:0Issues:8Issues:0

intellijml

Language:JavaLicense:MITStargazers:0Issues:0Issues:0

MaxSync-BPM2018

Maximizing Synchronization for Aligning Observed and Modelled Behaviour

Stargazers:0Issues:12Issues:0

OptTime-TACAS19

Minimal-Time Synthesis for Parametric Timed Automata

Language:RStargazers:0Issues:10Issues:0

RV2018-ActiveCAN

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:10Issues:0

SMC-Check

Language:KotlinStargazers:0Issues:1Issues:0

SymbolicAlign-ACSD18

Symbolically Aligning Observed and Modelled Behaviour

Stargazers:0Issues:10Issues:0

tool-server

Language:JavaScriptStargazers:0Issues:14Issues:0

uppaal-ecore-parser

Parsing plain-text UPPAAL files to Ecore models using the UPPAAL meta-model and libutap

Language:JavaStargazers:0Issues:2Issues:0

UrPal-experiments

Experiment data for UrPal paper

Stargazers:0Issues:1Issues:0

vercors-server

Language:JavaScriptStargazers:0Issues:14Issues:0

vercors-web-build

Repository to contain the built VerCors website for automated deployment

Language:HTMLStargazers:0Issues:14Issues:0