Execution Time Program Verification With Tight Bounds.

Ana Carolina Silva Manuel Barbosa Mário Florido

Published in: CoRR (2022)

Keyphrases

tight bounds
upper bound
execution model
data flow
execution traces
cooperative
database
real time
web pages
learning environment
evolutionary algorithm
mobile robot
active rules