What is Model Checking?

What is Model Checking?

- Represent the system as a state transition graph (the model) :

- Represent the property as a CTL formula

- Check that the model satisfies the property

Previous slide

Next slide

Back to the first slide

View Graphic Version