GitHub repository: mpi-sws-rse/jmc
Primary language: Java
Created: 2024-04-11T13:10:41Z
Description: jmc: Java Model Checker