Login / Signup
An Integer Static Analysis for Better Extrapolation in Uppaal.
Sebastian Lund
Jesper van Diepen
Kim G. Larsen
Marco Muñiz
Tobias Ringholm Jørgensen
Tobias Skaarup Daa Andersen
Published in:
FORMATS (2021)
Keyphrases
</>
static analysis
dynamic analysis
source code
model checking
malicious code
timed automata
symbolic execution
regular expressions
java card
abstract interpretation
test suite
test generation
building blocks
controller synthesis
data sets
training set
high level