Parameterized Recursive Refinement Types for Automated Program Verification.

Ryoya Mukai Naoki Kobayashi Ryosuke Sato

Published in: SAS (2022)

Keyphrases

semi automated
iterative refinement
database
machine learning
case study
automated analysis
data sets
computer vision
metadata
image processing
computer aided
computer assisted
fully automated