Verifying Functional Formalizations - A Type-Theoretical Case Study in PVS.

Sjaak Smetsers Erik Barendsen

Published in: The Beauty of Functional Code (2013)

Keyphrases

case study
software development
theoretical analysis
computer vision
databases
decision trees
lessons learned
neural network
information systems
xml schema