Modular verification of concurrent assembly code with dynamic thread creation and termination.

Xinyu Feng Zhong Shao

Published in: ICFP (2005)

Keyphrases

dynamic environments
database
real time
data sets
information systems
image sequences
mobile robot
dynamic analysis
web services
database systems
static analysis
mutual exclusion
finer granularity