Formalizing Correct-by-Construction Casper in Coq.

Elaine Li Traian Serbanuta Denisa Diaconescu Vlad Zamfir Grigore Rosu

Published in: IEEE ICBC (2020)

Keyphrases

case study
database
real time
computer vision
feature selection
pattern recognition
formal methods