Verification Using Uninterpreted Functions and Finite Instantiations.

Ramin Hojati Adrian J. Isles Desmond Kirkpatrick Robert K. Brayton

Published in: FMCAD (1996)

Keyphrases

data sets
model checking
real time
multiscale
data structure
multi agent systems
face verification
formal methods