Parallel refinement for multi-threaded program verification.

Liangze Yin Wei Dong Wanwei Liu Ji Wang

Published in: ICSE (2019)

Keyphrases

multi threaded
multi core processors
computer architecture
operating system
multithreading
information flow
real time
parallel programming
computer science
parallel computing
information systems
power consumption
shared memory