Scaling model checking of dataraces using dynamic information.

Ohad Shacham Mooly Sagiv Assaf Schuster

Published in: J. Parallel Distributed Comput. (2007)

Keyphrases

model checking
temporal logic
knowledge representation
concurrent systems
heuristic search
verification method
symbolic model checking
alternating time temporal logic