Verification: inside/outside views.

Joseph J. Tardo

Published in: ACM SIGSOFT Softw. Eng. Notes (1981)

Keyphrases

model checking
multiple views
single view
database
face verification
formal verification
data sets
multiresolution
formal analysis
real time
multi agent
viewpoint
multi view
formal methods