The first example of this is a mathematical proof of the confinement mechanisms in EROS, based on a simplified model of the EROS API.
Prvým príkladom tohto matematického dôkazu sú obmedzenia mechanizmu v EROS, založené na zjednodušenom modeli EROS API.