Termination Analyser for SCNP (The NP subset of SCT)

This page illustrates a termination analysis for SCNP described here. To use the analyser, either you go to the analyser section and provide your own size change graphs or use the pre-defined sets of size change graphs in the examples section. Further details about how to provide inputs to the analyzer and how to interpret the output are provided under the help section.