Login / Signup
Partial Solutions to VerifyThis 2016 Challenges 2 and 3 with VeriFast.
Bart Jacobs
Published in:
FTfJP@ECOOP (2016)
Keyphrases
</>
partial solutions
search space
branch and bound
lessons learned
key issues
real world
real time
technical challenges