Modeling and Verification of Out-of-Order Microprocessors in UCLID.

Shuvendu K. Lahiri Sanjit A. Seshia Randal E. Bryant

Published in: FMCAD (2002)

Keyphrases

wide range
databases
real world
machine learning
decision making
multi agent systems
relational databases
model checking