Login / Signup
Towards an Open Framework for C Verification Tools Benchmarking.
Alexey V. Khoroshilov
Vadim S. Mutilin
Evgeny Novikov
Pavel Shved
Alexander Strakh
Published in:
Ershov Memorial Conference (2011)
Keyphrases
</>
main contribution
real time
image segmentation
building blocks
user friendly
formal methods
databases
artificial intelligence
computer vision
multiscale
relational databases
end users