A generic approach to the static analysis of concurrent programs with procedures.

Ahmed Bouajjani Javier Esparza Tayssir Touili

Published in: POPL (2003)

Keyphrases

static analysis
concurrent programs
dynamic analysis
source code
abstract interpretation
symbolic execution
process algebra
java card
concurrent programming
real world
artificial intelligence
database
software engineering
web applications
error rate