Deductive Verification of Modular Systems.

Bernd Finkbeiner Zohar Manna Henny Sipma

Published in: COMPOS (1997)

Keyphrases

distributed systems
knowledge based systems
data mining
artificial intelligence
information systems
machine learning
similarity measure
multi agent
object oriented
computer systems
face verification
asynchronous circuits
modular neural networks