IMP_Noninterference_Extension

Small_Step

Definitions

Idempotence

Overapproximation

Correctness_Lemmas

Correctness_Theorem