Specification Refinement with System F.

Jo Erskine Hannay

Published in: CSL (1999)

Keyphrases

high level
provably correct
database
data sets
hidden markov models
query refinement
neural network
real world
formal methods
specification language
formal verification
tool suite