A Mechanically Verified Application for a Mechanically Verified Environment.

Matthew Wilding

Published in: CAV (1993)

Keyphrases

real time
computing environments
theorem prover
key technologies
computer vision
autonomous agents
database
knowledge base
three dimensional
database systems
multiresolution
knowledge representation
decision support