stefadp

A Docker image to run the RADON's defect predictor

A docker image to run the Juliet Test Suite for Java

A docker image to run the Juliet Test Suite for C

A Docker image to run the CProver CBMC.

A Docker image for the CProver JBMC