diffblue/java-models-library

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Java
Created almost 7 years ago
Updated about 2 years ago

diffblue/java-models-library

diffblue

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

JDK 8 class model library

cbmc

C Bounded Model Checker

hw-cbmc

The HW-CBMC and EBMC Model Checkers for Verilog

2ls

Static Analyzer and Verifier

cover-github-action

GitHub Action for running Diffblue Cover from a GitHub Actions workflow

java-demo

Demonstration project for Java analysis

symex

Symbolic Execution Tool based on CBMC

CoreBanking

A simple CoreBanking app for demo purposes.

ecommerce-demo

An e-commerce Java Spring demo project

gnat2goto

GNAT 2 GOTO Converter

output-repair

A simple tool for repairing truncated XML and JSON files

cover-annotations

Cover Annotations

musketeer

Musketeer - Automatic Fence Inserter

deeptest-utils

Maven package for executing tests created by Diffblue Cover

eclipse-cbmc

Eclipse plugin for CBMC

cprover-sv-comp

CPROVER wrappers and configuration for the Software Verification Competition (SV-COMP)

deltacheck

Differential Verification Tool

mjsip

Open source java SIP application

homebrew-cbmc

brew tap for CBMC

BlueCov

A tool for instrumenting Java bytecode based on properties defined by JBMC

demo-spring-petclinic

Demo based on Spring Petclinic

Katacoda