System modeling and verification with UCLID.

Randal E. Bryant

Published in: MEMOCODE (2004)

Keyphrases

databases
information retrieval
wide range
model checking
formal verification
database
cooperative
hidden markov models
mobile robot
modeling language
formal methods