Objective of the thesis is to describe and evaluate the appropriate methods to determine the size of the state space. State space will be created by using a program (generator) which generates a state space, from the input values and regulations (model). To objectively assess the state space we classifies according to their parameters. Classified state space will be added to a class, in which the demarcation perform evaluation methods will be done
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.