Back to The JPF team
GSoC 2016

Extending SPF with handling of symbolic arrays, and implementing a replay module

Project details

Contributor

afromherz

Mentors

Corina, Luckow

Technologies

Not listed in the archive