Model-checking ecological state-transition graphs
Fig 3
The model-checking methodology.
In black the general model-checking outline. In blue italic the implementation described in this article that consists of a particular choice of techniques and tools among the available ones. (Adapted from [45]).