software-verification

There are 44 repositories under software-verification topic.

  • covercig.github.io

    covercig.github.io

    Language:HTML

  • alloy-viz

    (my verification project for cs5110 / cs6110) A vscode extension that adds live visualizations of alloy type structures to vscode. (also includes some basic some basic langauge support)

    Language:TypeScript

  • nidhugg

    Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is particularly useful for programs written in C/pthreads. Currently Nidhugg supports the SC, TSO, PSO, POWER and ARM (partial) memory models.

    Language:C

  • LICC

    Language invariant AST abstraction with APIs to create, visualize or compare ASTs

    Language:C#

  • BBE

    Software Verification course project - Fixing bugs using a working example as a specification

    Language:Java

  • EFBO-Ontology-Repository

    This repository contains three ontology files relevant to the Event-Based Functional Behaviour Ontology (EFBO) project as part of a Software Engineering thesis.

    Language:HTML

  • TrustCoq

    Formal Verification on NDN trust schema

    Language:Coq