Jan Friso Groote: On the random structure of behavioural transition systems.

Event Details

What is the structure of a transition system that represent the behaviour of processes? We assumed that it was just an ordinary random graph, but got odd results when predicting the sizes of state spaces generated by lps2lts. Viewing state spaces as parallel non-communicating random state spaces gave far better results. This also helps in understanding why testing is so effective at times, whereas some bugs inherently elude the testers.