Multi-level Bounded Model Checking to detect bugs beyond the bound.

Tasuku Nishihara Takeshi Matsumoto Masahiro Fujita

Published in: HLDVT (2008)

Keyphrases

bounded model checking
model checking
formal verification
upper bound
worst case
detection method
temporal logic
automatic detection
linear temporal logic
detection algorithm
multi agent systems
lower bound
source code
reinforcement learning
general purpose