Repositories list

• kind2

  Public
  Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

  OCaml

  •

  Apache License 2.0

  •29•86•4•2•Updated Nov 14, 2024Nov 14, 2024

• vscode-kind2

  Public
  TypeScript

  •

  MIT License

  •2•2•1•0•Updated Aug 1, 2024Aug 1, 2024

• kind2-language-server

  Public
  Kind 2 Language Server Protocol implementation

  Java

  •

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

  •1•0•0•0•Updated Jun 19, 2024Jun 19, 2024

• kind2-java-api

  Public
  An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.

  Java

  •

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

  •1•3•0•0•Updated Jun 18, 2024Jun 18, 2024

• VERDICT

  Public
  Java

  •

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

  •14•0•0•11•Updated Mar 15, 2023Mar 15, 2023

• kind2-benchmarks

  Public
  Set of benchmarks for Kind 2

  eC

  •1•2•0•0•Updated Dec 26, 2022Dec 26, 2022

• cocospec_tcm_experiments

  Public
  CoCoSpec experiments on the TCM

  Shell

  •

  Other

  •0•2•0•0•Updated Dec 3, 2021Dec 3, 2021

• mivc-must-experiments

  Public
  Python

  •0•0•0•0•Updated May 17, 2021May 17, 2021

• kind2-explanations

  Public
  Java

  •

  Apache License 2.0

  •0•0•0•0•Updated Aug 19, 2020Aug 19, 2020

• ocamlczmq

  Public
  Ocaml binding to the high-level C binding for ØMQ

  C++

  •

  GNU Lesser General Public License v3.0

  •2•0•0•0•Updated Oct 24, 2017Oct 24, 2017

• teas

  Public
  Test Execution and Analysis System

  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Mar 17, 2016Mar 17, 2016