Model Checking a Lazy Concurrent List-Based Set Algorithm.

Shao Jie Zhang Yang Liu

Published in: SSIRI (2010)

Keyphrases

model checking
computational complexity
dynamic programming
deterministic finite automaton
optimal solution
np hard
temporal logic
formal verification
temporal properties
verification method
search space
finite state machines
symbolic model checking