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

University of Twente - Formal Methods and Tools

utwente-fmt

Geek Repo

Location:Enschede, The Netherlands

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

Github PK Tool:Github PK Tool

University of Twente - Formal Methods and Tools's repositories

ltsmin

The LTSmin model checking toolset

Language:CLicense:BSD-3-ClauseStargazers:51Issues:13Issues:165

vercors

The VerCors verification toolset for verifying parallel and concurrent software

Language:ScalaLicense:MPL-2.0Stargazers:49Issues:9Issues:592

sylvan

Multi-core Decision Diagram (BDD/LDD) implementation

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

dftcalc

DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

Language:C++License:MITStargazers:12Issues:9Issues:12

buddy

Language:CStargazers:9Issues:9Issues:1

UrPal

UPPAAL Sanity Checker

Language:KotlinStargazers:5Issues:2Issues: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:13Issues:0

jsylvan

JNI Bindings for Sylvan

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

ltl2ba

Language:CLicense:NOASSERTIONStargazers:2Issues:12Issues: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:3Issues:0

Rabin-STTT

Explicit State Model Checking with Generalized Büchi and Rabin Automata

Language:RStargazers:1Issues:12Issues:0

uppaal

EMF-based tooling for the UPPAAL model checker

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

spins

Language:JavaStargazers:0Issues:10Issues:11

CONCUR19-PNDFS

Automated Verification of Parallel Nested DFS

Stargazers:0Issues:11Issues:0

divine2

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

ESOP2019-ProgramAbstractions

Practical Abstractions for Automated Verification of Concurrent Program Behaviour

Language:CoqStargazers:0Issues:10Issues: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:11Issues:0

RV2018-ActiveCAN

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:11Issues:0

SMC-Check

Language:KotlinStargazers:0Issues:2Issues:0

SymbolicAlign-ACSD18

Symbolically Aligning Observed and Modelled Behaviour

Stargazers:0Issues:11Issues: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:2Issues:0

vercors-ide

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

vercors-server

Language:JavaScriptStargazers:0Issues:14Issues:0

vercors-web

Language:HTMLStargazers:0Issues:13Issues:6

vercors-web-build

Repository to contain the built VerCors website for automated deployment

Language:HTMLStargazers:0Issues:17Issues:0