Automatic verification of time behavior of programs.

Published in: ICSE (Companion Volume) (2018)

Keyphrases

human behavior
cooperative
multiresolution
behavior patterns
automatic programming
database
data sets
machine learning
learning algorithm
web pages
high level
data structure
autonomous robots
computer programs
programming environment
fixpoint