Repositories list

• vercors-web-build

  Public
  Repository to contain the built VerCors website for automated deployment

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 2, 2026Sep 2, 2026

• vercors-web

  Public
  HTML

  •11 fork•00 stars•22 issues•00 pull requests•Updated Sep 2, 2026Sep 2, 2026

• vercors

  Public
  The VerCors verification toolset for verifying parallel and concurrent software

  cjavaopencl+ 8

  cjavaopenclconcurrencyopenmpverificationviperparallelismsoftware-analysisseparation-logic+ 1

  Scala

  •

  Mozilla Public License 2.0

  •3939 forks•111111 stars•145145 issues•1212 pull requests•Updated Sep 2, 2026Sep 2, 2026

• vercors-ide

  Public
  HTML

  •

  Mozilla Public License 2.0

  •11 fork•00 stars•99 issues•11 pull request•Updated Aug 25, 2026Aug 25, 2026

• sylvan

  Public
  Multi-core Decision Diagram (BDD/LDD) implementation

  C

  •

  Apache License 2.0

  •88 forks•4444 stars•11 issue•00 pull requests•Updated Jul 17, 2026Jul 17, 2026

• lego-sorter

  Public
  Automatic (model-based) testing of a Lego ball sorter

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 24, 2026Mar 24, 2026

• NIRICT-GPGPU

  Public
  Performance and Correctness of GPGPU Applications

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• reliable-software-2015

  Public
  Workshop "Closer to reliable software - Verifying Program Behaviour", 2 October 2015

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• green-software-2015

  Public
  Workshop on Energy-Aware Software Engineering, 5 June 2015

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• lorentz-vcds

  Public
  Lorentz workshop on Verification of Concurrent and Distributed Software

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• dmcd2016

  Public
  Website of the Dutch Model Checking Day 2016

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2026Mar 12, 2026

• intellijml

  Public
  Java

  •

  MIT License

  •00 forks•00 stars•11 issue•00 pull requests•Updated Mar 11, 2026Mar 11, 2026

• vercors-server

  Public
  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2025Mar 12, 2025

• tool-server

  Public
  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2025Mar 12, 2025

• DFTRES

  Public
  Rare event simulation tool for Dynamic Fault Trees

  Java

  •

  GNU General Public License v3.0

  •44 forks•44 stars•00 issues•00 pull requests•Updated Nov 8, 2024Nov 8, 2024

• dftcalc

  Public
  DFTCalc: A Dynamic Fault Tree calculator for reliability and availability

  C++

  •

  MIT License

  •66 forks•1717 stars•77 issues•00 pull requests•Updated Nov 7, 2024Nov 7, 2024

• ltsmin

  Public
  The LTSmin model checking toolset

  promelamodel-checkingpetri-net+ 6

  promelamodel-checkingpetri-netmodel-checkerdvepnmllinear-temporal-logicmu-calculuscomputation-tree-logic

  C

  •

  BSD 3-Clause "New" or "Revised" License

  •3232 forks•6363 stars•7272 issues•33 pull requests•Updated Oct 31, 2024Oct 31, 2024

• divine2

  Public
  C++

  •

  Other

  •44 forks•00 stars•00 issues•00 pull requests•Updated Nov 18, 2023Nov 18, 2023

• FMCAD-2023

  Public
  Artifact for the submission of our paper to FMCAD 2023

  Python

  •

  Mozilla Public License 2.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Jul 12, 2023Jul 12, 2023

• buddy

  Public
  C

  •77 forks•1111 stars•00 issues•00 pull requests•Updated Sep 6, 2022Sep 6, 2022

• ltl2ba

  Public
  C

  •

  Other

  •22 forks•77 stars•11 issue•00 pull requests•Updated Oct 25, 2020Oct 25, 2020

• SMC-Check

  Public
  Kotlin

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 13, 2020May 13, 2020

• UrPal-experiments

  Public
  Experiment data for UrPal paper

  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 25, 2019Jun 25, 2019

• UrPal

  Public
  UPPAAL Sanity Checker

  Kotlin

  •11 fork•66 stars•66 issues•11 pull request•Updated Jun 24, 2019Jun 24, 2019

• iFM19-MessagePassingAbstr

  Public
  Practical Abstractions for Automated Verification of Message Passing Concurrency

  Coq

  •00 forks•11 star•00 issues•00 pull requests•Updated Jun 17, 2019Jun 17, 2019

• uppaal-ecore-parser

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

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 11, 2019Jun 11, 2019

• uppaal

  Public
  EMF-based tooling for the UPPAAL model checker

  Java

  •

  Eclipse Public License 1.0

  •66 forks•11 star•00 issues•00 pull requests•Updated Jun 11, 2019Jun 11, 2019

• CONCUR19-PNDFS

  Public
  Automated Verification of Parallel Nested DFS

  00 forks•00 stars•00 issues•00 pull requests•Updated Apr 20, 2019Apr 20, 2019

• SymbolicAlign-ACSD18

  Public
  Symbolically Aligning Observed and Modelled Behaviour

  00 forks•00 stars•00 issues•00 pull requests•Updated Feb 13, 2019Feb 13, 2019

• OptTime-TACAS19

  Public
  Minimal-Time Synthesis for Parametric Timed Automata

  R

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 30, 2019Jan 30, 2019