Detecting Bugs of Concurrent Programs with Program Invariants.

Zuohua Ding Rong Wang Jueliang Hu Yang Liu

Published in: QRS Companion (2016)

Keyphrases

concurrent programs
concurrent programming
process algebra
test cases
static analysis
concurrent processes
imperative programs
source code
asynchronous circuits
real time
peer to peer
power consumption
formal methods