Static Analysis of Run-Time Modes in Synchronous Process Network.

Michael Beyer Sabine Glesner

Published in: Ershov Memorial Conference (2011)

Keyphrases

static analysis
dynamic analysis
source code
peer to peer
complex networks
artificial intelligence
feature space
object oriented
network structure
data flow
symbolic execution