software-verification

There are 45 repositories under software-verification topic.

  • Software-Verification

    Language:TeX

  • WhileAbstractInterpreter

    Language:F#

  • symbiotic

    Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

    Language:Python305

  • clam

    Static Analyzer for LLVM bitcode based on Abstract Interpretation

    Language:C268

  • cpachecker

    CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

    Language:Java220

  • sv-benchmarks

    Collection of Verification Tasks (MOVED, please follow the link)

    185
  • analyzer

    analyzer

    Static analysis framework for C

    Language:OCaml164
  • plt-formal-methods-resources

    plt-formal-methods-resources

    Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

    43

  • Teaching-Software-Verification

    Teaching and Learning Software Verification via SVF

    Language:C++30

  • Map2Check

    Map2Check: Finding Software Vulnerabilities

    Language:SWIG27

  • klever

    Read-only mirror of the Klever Git repository

    Language:Python20

  • sv-witnesses

    An Exchange Format for Verification Witnesses (MOVED, please follow the link)

    Language:Python18

  • sv-comp

    Information to reproduce results from SV-COMP (MOVED, please follow the link)

    15

  • neuralsat

    DPLL(T)-based Verification tool for DNNs

    Language:Python12

  • dblib-linear

    Formalisation of the linear lambda calculus in Coq

    Language:Coq10

  • LSVerifier

    LSVerifier - Large Systems Verifier

    Language:Python8

  • Frama-C-StaDy

    Static & Dynamic Verification of C programs

    Language:OCaml8

  • oxid-light

    Prototype functional programming language with refinement types, powered by Inox

    Language:Scala7
  • polywit

    polywit

    🌍 A poly-language execution-based violation-witness validator

    Language:Python4

  • rust-benchmarks

    Rust software verification benchmarks

    Language:Rust3

  • rust-model-checker

    A Model Checker in Rust

    Language:Rust3

  • ConsistAnts

    A consistency checker for probabilistic software quality models

    Language:Java3

  • learning-errors

    Abstractly represent software error traces as finite automata.

    Language:C++2

  • cakeml-bake

    CakeML build tool

    Language:Rust2

  • lean-mt

    Lean4-Framework to reason about multithreaded algorithms

    Language:Lean1

  • hoare-proof-outlines

    Write readable Hoare style proof outlines for imperative programs in Agda.

    Language:Agda1

  • divyeshunadkat.github.io

    Personal Webpage

    Language:HTML1

  • voila

    Voila is proof outline checker for fine-grained concurrency verification

    Language:Scala1

  • While-DS-interpreter

    An interpreter for Denotational Semantics of While language

    Language:Python1

  • honours-thesis

    4th Year Honours Thesis on Programming Language Semantics

    Language:TeX1

  • LinguaFranca-to-Rebeca

    Lingua Franca codes and their equivalent Rebeca code

  • probabilistic-full-program-induction

    full-program induction technique extended to probabilistic programs

    Language:C

  • 2023_Analysis_Compound_Unit

    This repository contains an analysis of a Compound Unit student project. Analysis was done using tools for static and dynamic software verification. The repository is created for the purpose of Software Verification master's studies course at the Faculty of Mathematics.

    Language:HTML

  • STV

    國立臺北科技大學資訊工程所【軟體測試與驗證】課程檔案、作業與小組專案

    Language:HTML

  • ELEC70056-HSV-CW1

    About Coursework 1 for ELEC70056: Hardware and Software Verification, Software Component - Verification of code using Dafny and the theorem-prover Isabelle

    Language:Isabelle

  • msc-sweng

    Projects and assignments done during Master's Degree course in Informatics Engineering, with specialisation in Software Engineering, at Faculty of Sciences of the University of Lisbon.

    Language:Java