Leveraging Static Analysis: An IDE for RTLola.

Bernd Finkbeiner Florian Kohn Malte Schledjewski

Published in: ATVA (2023)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
malicious code
test generation
abstract interpretation
java card
data sets
regular expressions
real world
artificial intelligence
domain specific
client server