GitHub repository: JuanmaCopia/jpf-symbc
Primary language: Java
Description: Symbolic PathFinder