Kronecker Algebra for Static Analysis of Barriers in Ada.

Robert Mittermayr Johann Blieberger

Published in: Ada-Europe (2016)

Keyphrases

static analysis
dynamic analysis
source code
kronecker product
symbolic execution
relational algebra
malicious code
algebraic expressions
java card
regular expressions
query language
abstract interpretation
test generation
data model
open source
decision trees
real world
databases