A Policy

• System specified in Java

• Iterative refinement with feedback from compiler

• Refined until model compliant

Previous slide

Next slide

Back to first slide

View graphic version