A remark on debugging. / Informatica PAGE 21 1000 states 10 3 states α=0.05 probability that error remains undetected with a test of length m.
Some open problems. Is the model really that good? How to reduce the extreme calculational effort to do the predictions? Can we predict the index of parallelism? What is the correct number of parallel processes to model a particular system? How to estimate the probability to hit an ‘erroneous state’ in a random state space [no, contrary what you think, this is not known...]. / Informatica PAGE 22