A Stack-Slicing Algorithm for Multi-Core Model Checking.

Gerard J. Holzmann

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

model checking
dynamic programming
temporal logic
verification method
computational complexity
np hard
formal verification