Sign in

Refinement reflection: complete verification with SMT.

Niki VazouAnish TondwalkarVikraman ChoudhuryRyan G. ScottRyan R. NewtonPhilip WadlerRanjit 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