Formal proof of dynamic memory isolation based on MMU.

Narjes Jomaa David Nowak Gilles Grimaud Samuel Hym

Published in: Sci. Comput. Program. (2018)

Keyphrases

formal proof
dynamic environments
theorem prover
dynamically changing
database
data sets
computer vision
expert systems
memory requirements
memory usage