Modeling is first presented using the very simple example of a wall clock. Model checking is explained while introducing the concept of invariant. Refinement is then addressed using a new model that ...

You can create a release to package software, along with release notes and links to binary files, for other people to use. Learn more about releases in our docs.