Detecting Bugs of Concurrent Programs With Program Invariants.

Rong Wang Zuohua Ding Ning Gui Yang Liu

Published in: IEEE Trans. Reliab. (2017)

Keyphrases

concurrent programs
concurrent programming
process algebra
static analysis
test cases
formal specification
source code
real time
end users
model checking
web applications
building blocks
concurrent processes