The first example of this is a mathematical proof of the confinement mechanisms in EROS, based on a simplified model of the EROS API.
第一の例として、EROSでの隔離機構の数学的証明があり、EROS API を単純化したモデルに基づいている。