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