Formal Proof of Dynamic Memory Isolation Based on MMU.

Narjes Jomaa David Nowak Gilles Grimaud Samuel Hym

Published in: TASE (2016)

Keyphrases

formal proof
dynamic environments
information systems
theorem prover
memory space
real world
machine learning
image processing
image sequences
bayesian networks
multi agent
information processing
memory usage
dynamically changing
low memory