Mechanized Verification with Sharing.

J. Gregory Malecha Greg Morrisett

Published in: ICTAC (2010)

Keyphrases

information sharing
model checking
formal verification
face verification
verification method
artificial intelligence
databases
data sets
knowledge base
expert systems
artificial neural networks
information systems
knowledge sharing
data sharing
data mining
share information
asynchronous circuits