Implication-Based Approximating Bounded Model Checking.

Zhenyu Chen Zhihong Tao Baowen Xu Lifu Wang

Published in: FSEN (2007)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
formal specification
database
neural network
state space
general purpose
monte carlo
fuzzy relations