Mechanized result verification: an industrial application.

Paolo Traverso Piergiorgio Bertoli

Published in: Int. J. Softw. Tools Technol. Transf. (2000)

Keyphrases

industrial applications
case study
formal proof
database
real world
information retrieval
metadata
multiscale
optimal solution
search space
heuristic search
formal verification
asynchronous circuits