symbolic-pathfinder

There are 0 repository under symbolic-pathfinder topic.

• Niols / GSoC17

  Google Summer of Code 2017 – Verification and Testing of Heap-based Programs with Symbolic PathFinder

  java-pathfindersymbolic-pathfindersymbolic-executionseparation-logic
  Language:Java 1