Sign in

Verified Runtime Assertion Checking for Memory Properties.

Dara LyNikolai KosmatovFrédéric LoulergueJulien 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