A Thread Modularity Approach for Verification Concurrent Software Based on Abstract Interpretation.

Qingyu Jiang Jing Liu Haodong Hu

Published in: APSEC (2018)

Keyphrases

abstract interpretation
model checking
static analysis
termination analysis
software systems
active rules
source code
software development
software architecture
dynamic analysis
test cases
active databases
high level
object oriented
reasoning engine