Using PVS to Prove a Z Refinement: A Case Study.

David W. J. Stringer-Calvert Susan Stepney Ian Wand

Published in: FME (1997)

Keyphrases

case study
multiscale
hidden markov models
data sets
machine learning
artificial intelligence
three dimensional
database systems
digital libraries
test bed
theorem proving
formal verification
timed automata