Static analysis of concurrent programs by adapted vector clock.

Maryam Zakeryfar Peter Grogono

Published in: C3S2E (2013)

Keyphrases

static analysis
concurrent programs
dynamic analysis
source code
symbolic execution
concurrent programming
java card
regular expressions
process algebra
test suite
database
programming language
expert systems
power consumption
data integration
web applications
general purpose
artificial intelligence