Improved Bounded Model Checking for the Universal Fragment of CTL.

Liang Xu Wei Chen Yanyan Xu Wenhui Zhang

Published in: J. Comput. Sci. Technol. (2009)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
computation tree logic
linear temporal logic
cooperative
search algorithm
multi agent systems
temporal properties
modal logic
formal specification