17451k Goto Github PK

aspectator

base-model

First level of the Event-B specification of the HIMACF model (with role-based access control)

cif

clade

Clade is a tool for extracting information about software build process and source code

cvehound

Check linux sources dump for known CVEs.

dafny

Dafny is a verification-aware programming language

eventb-models

Collection of various Event-B models

eventb-to-txt

Event-B to txt converter

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

homebrew-prob

Homebrew tap to install the ProB model checker and animator.

kartographer

[Deprecated - replaced by Clade] Kartographer is designed to build a callgraph of the Linux kernel for a given configuration. It also collects information about macros, function pointers, object and source files. Besides the Linux kernel, Kartographer can be used in other projects written in C.

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

pocleaner

Plug-in for Rodin that provides means to remove proofs from proof obligations.

rodin-b-sharp-smt

Forked from https://sourceforge.net/p/rodin-b-sharp/smt/ci/master/tree/

rodincore

Forked from https://sourceforge.net/p/rodin-b-sharp/rodincore/ci/master/tree/

solver-builds

Build infrastructure for solvers to use with Dafny (and other Boogie clients)