Train door example

The following link allows you to download a solution two projects. The Door project contains a Door class, for which the behavior model abstraction can be generated (see usage for more details). The Scenarios project contains two scenarios which make use of the Door class; one of which contains a seeded bug. The Dependencies folder contains the DLLs with the strengthened contracts, using the information from the abstraction.

TrainDoor solution download