Monotonic Abstraction for Programs with Dynamic Memory Heaps.

Parosh Aziz Abdulla Ahmed Bouajjani Jonathan Cederberg Frédéric Haziza Ahmed Rezine

Published in: CAV (2008)

Keyphrases

dynamic environments
data sets
neural network
mobile robot
hardware designs
real time
expert systems
data management
memory requirements
computational power