Regression Verification for Multi-threaded Programs.

Sagar Chaki Arie Gurfinkel Ofer Strichman

Published in: VMCAI (2012)

Keyphrases

multi threaded
java programs
multi core processors
operating system
information flow
computer architecture
multithreading
real time
model checking
computer programs
neural network
computer science
general purpose
low cost