Login / Signup
Refinement reflection: complete verification with SMT.
Niki Vazou
Anish Tondwalkar
Vikraman Choudhury
Ryan G. Scott
Ryan R. Newton
Philip Wadler
Ranjit Jhala
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
model checking
information retrieval
step wise
data sets
neural network
knowledge base
image processing
case study
data structure
formal verification
refinement process