Sign in

Execution Time Program Verification With Tight Bounds.

Ana Carolina SilvaManuel BarbosaMá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