Why Non-determinism?

Why Non-determinism?

• Necessary to model environments
• Example:
  • Arbiter + Controllers: System to be verified
  • Clients: Environment of the system
    • A request signal is set to high non-deterministically
    • Can capture all the possible behaviors of the client with non-determinism

Previous slide

Next slide

Back to the first slide

View Graphic Version