Accelerating high-level bounded model checking.

Malay K. Ganai Aarti Gupta

Published in: ICCAD (2006)

Keyphrases

bounded model checking
high level
model checking
formal verification
low level
temporal logic
linear temporal logic
multi agent systems
programming language
higher level
low level features
reinforcement learning
cooperative
conceptual model
lower level
game playing
neural network