Repositories list

• vercors

  Public
  The VerCors verification toolset for verifying parallel and concurrent software

  cconcurrencyopenmp+ 8viperparallelismsoftware-analysisseparation-logicvercors-toolsetjavaopencl+ 1

  Scala

  •

  Mozilla Public License 2.0

  •26•56•151•8•Updated Nov 22, 2024Nov 22, 2024

• DFTRES

  Public
  Rare event simulation tool for Dynamic Fault Trees

  Java

  •

  GNU General Public License v3.0

  •4•4•0•0•Updated Nov 8, 2024Nov 8, 2024

• dftcalc

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

  C++

  •

  MIT License

  •6•12•7•0•Updated Nov 7, 2024Nov 7, 2024

• ltsmin

  Public
  The LTSmin model checking toolset

  promelamodel-checkingpetri-net+ 6model-checkerdvepnmllinear-temporal-logicmu-calculuscomputation-tree-logic

  C

  •

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

  •31•53•68•3•Updated Oct 31, 2024Oct 31, 2024

• vercors-web-build

  Public
  Repository to contain the built VerCors website for automated deployment

  HTML

  •0•0•0•0•Updated Oct 9, 2024Oct 9, 2024

• vercors-web

  Public
  HTML

  •1•0•2•0•Updated Oct 9, 2024Oct 9, 2024

• vercors-ide

  Public
  TypeScript

  •

  Mozilla Public License 2.0

  •0•0•9•1•Updated Apr 26, 2024Apr 26, 2024

• divine2

  Public
  C++

  •

  Other

  •2•0•0•0•Updated Nov 18, 2023Nov 18, 2023

• sylvan

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

  C

  •

  Apache License 2.0

  •8•41•3•1•Updated Nov 17, 2023Nov 17, 2023

• FMCAD-2023

  Public
  Artifact for the submission of our paper to FMCAD 2023

  Python

  •

  Mozilla Public License 2.0

  •0•1•0•0•Updated Jul 12, 2023Jul 12, 2023

• buddy

  Public
  C

  •7•10•0•0•Updated Sep 6, 2022Sep 6, 2022

• ltl2ba

  Public
  C

  •

  Other

  •2•2•1•0•Updated Oct 25, 2020Oct 25, 2020

• SMC-Check

  Public
  Kotlin

  •1•0•0•0•Updated May 13, 2020May 13, 2020

• tool-server

  Public
  JavaScript

  •0•0•0•0•Updated Jan 16, 2020Jan 16, 2020

• vercors-server

  Public
  JavaScript

  •0•0•0•0•Updated Jan 10, 2020Jan 10, 2020

• UrPal-experiments

  Public
  Experiment data for UrPal paper

  0•0•0•0•Updated Jun 25, 2019Jun 25, 2019

• UrPal

  Public
  UPPAAL Sanity Checker

  Kotlin

  •1•5•6•1•Updated Jun 24, 2019Jun 24, 2019

• iFM19-MessagePassingAbstr

  Public
  Practical Abstractions for Automated Verification of Message Passing Concurrency

  Coq

  •0•1•0•0•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

  •0•0•0•0•Updated Jun 11, 2019Jun 11, 2019

• uppaal

  Public
  EMF-based tooling for the UPPAAL model checker

  Java

  •

  Eclipse Public License 1.0

  •5•1•0•0•Updated Jun 11, 2019Jun 11, 2019

• CONCUR19-PNDFS

  Public
  Automated Verification of Parallel Nested DFS

  0•0•0•0•Updated Apr 20, 2019Apr 20, 2019

• SymbolicAlign-ACSD18

  Public
  Symbolically Aligning Observed and Modelled Behaviour

  0•0•0•0•Updated Feb 13, 2019Feb 13, 2019

• OptTime-TACAS19

  Public
  Minimal-Time Synthesis for Parametric Timed Automata

  R

  •0•0•0•0•Updated Jan 30, 2019Jan 30, 2019

• MaxSync-BPM2018

  Public
  Maximizing Synchronization for Aligning Observed and Modelled Behaviour

  0•0•0•0•Updated Jan 15, 2019Jan 15, 2019

• spins

  Public
  Java

  •4•0•3•0•Updated Dec 2, 2018Dec 2, 2018

• ESOP2019-ProgramAbstractions

  Public
  Practical Abstractions for Automated Verification of Concurrent Program Behaviour

  Coq

  •0•0•0•0•Updated Nov 16, 2018Nov 16, 2018

• attop

  Public
  Attack Tree translator and analyzer

  Java

  •2•3•0•0•Updated Jul 18, 2018Jul 18, 2018

• jsylvan

  Public
  JNI Bindings for Sylvan

  Java

  •

  Apache License 2.0

  •3•3•2•0•Updated Jul 15, 2018Jul 15, 2018

• RV2018-ActiveCAN

  Public
  Haskell

  •

  Other

  •0•0•0•0•Updated Jul 8, 2018Jul 8, 2018

• Rabin-STTT

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

  R

  •1•1•0•0•Updated May 18, 2018May 18, 2018