Login / Signup
A benchmark for C program verification.
Marko C. J. D. van Eekelen
Daniil Frumin
Herman Geuvers
Léon Gondelman
Robbert Krebbers
Marc Schoolderman
Sjaak Smetsers
Freek Verbeek
Benoît Viguier
Freek Wiedijk
Published in:
CoRR (2019)
Keyphrases
</>
real world
comparative analysis
viewpoint
case study
image segmentation
three dimensional
training set
management system
quantitative evaluation
benchmark suite