Login / Signup
Sound Runtime Assertion Checking for Memory Properties via Program Transformation.
Dara Ly
Nikolai Kosmatov
Frédéric Loulergue
Julien Signoles
Published in:
Formal Aspects Comput. (2024)
Keyphrases
</>
topological properties
neural network
imperative programs
real world
website
data model
case based reasoning
main memory
limited memory
real time
case study
information processing
desirable properties
memory usage
consistency checking
low memory