Svcomp2022

Serving as a mentor for JPF in GSoC’22.

Java Ranger wins Bronze Medal (third-place) for the Java track at SV-COMP 2020!