The Complexity of Reversal-Bounded Model-Checking.

Marcello M. Bersani Stéphane Demri

Published in: FroCoS (2011)

Keyphrases

bounded model checking
model checking
computational cost
temporal logic
formal verification
knowledge base
linear temporal logic
genetic algorithm
worst case
general purpose
space complexity
cooperative
decision problems