This Course

This Course

• lots of hands-on experience with VIS
• use of abstraction and nondeterminism
  • writing abstract environments
• property checking and CTL
• using verification for debugging
• understanding underlying algorithms
  • controlling parameters
    • verifying large examples - increasing efficiency
  • learning about software engineering aspects

Previous slide

Next slide

Back to the first slide

View Graphic Version