stefanodallapalma

Stefano Dalla Palma's repositories

Creating environments to deal with the Juliet Test Suite for C and Java

Language:Dockerfile100

To process a corpus (BNC) and compute similarity between pairs of word.

Language:Java1 10

A Docker image to run the CProver CBMC

Language:Dockerfile000

A Docker image based on openjdk:8-jdk-alpine for the CProver JBMC.

Language:Dockerfile000