Process-Local Static Analysis of Synchronous Processes.

Jan Midtgaard Flemming Nielson Hanne Riis Nielson

Published in: SAS (2018)

Keyphrases

static analysis
dynamic analysis
source code
process model
databases
artificial intelligence
training data
object oriented
software development
symbolic execution