Improving Encoding Efficiency for Bounded Model Checking.

Jinji Yang Kaile Su Qingliang Chen

Published in: TASE (2008)

Keyphrases

bounded model checking
formal verification
model checking
high efficiency
computational efficiency
computational complexity
temporal logic
neural network
cooperative
bit wise