Timing Analysis of Binary Programs with UPPAAL.

Franck Cassez Jean-Luc Béchennec

Published in: ACSD (2013)

Keyphrases

model checking
answer sets
computer programs
non binary
automatic programming
timed automata
social networks
decision trees
reinforcement learning
hamming distance
binary classifiers
binary data
intermediate level