Back to The JPF team
GSoC 2017

Verification and Testing of Heap-based Programs with Symbolic PathFinder

Project details

Contributor

Nicolas Jeannerod

Mentors

Nikos Gorogiannis, Aymeric Fromherz

Technologies

Not listed in the archive