Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.

KyungHee Kim Tuba Yavuz-Kahveci Beverly A. Sanders

Published in: ASE (2009)

Keyphrases

model checking
temporal properties
probability distribution
model checker
process algebra
temporal logic
artificial intelligence
finite state machines
verification method
optimal solution
search algorithm
formal specification
description language
specification language
automated verification