Verified Runtime Assertion Checking for Memory Properties.

Dara Ly Nikolai Kosmatov Frédéric Loulergue Julien Signoles

Published in: TAP@STAF (2020)

Keyphrases

databases
structural properties
desirable properties
topological properties
low memory
data sets
multi agent systems
expert systems
case based reasoning
information processing
memory usage
limited memory