Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification.

Liangze Yin Wei Dong Wanwei Liu Ji Wang

Published in: CoRR (2017)

Keyphrases

multi threaded
scheduling problem
operating system
multi core processors
information flow
computer architecture
multithreading
constraint satisfaction
parallel machines
real time
high level
resource allocation
parallel computing