A Widening Approach to Multithreaded Program Verification.

Alexander Kaiser Daniel Kroening Thomas Wahl

Published in: ACM Trans. Program. Lang. Syst. (2014)

Keyphrases

multi user
mutual exclusion
linear hashing
multithreading
shared memory
real time
databases
information retrieval
computer vision
pattern recognition
order preserving