|Summary:||the nature of symbolic traces should be explained in the doc|
|Product:||UPPAAL||Reporter:||Juhan Ernits <juhan>|
|Component:||Documentation||Assignee:||Paul Pettersson <paupet>|
Description Juhan Ernits 2003-10-03 09:29:44 CEST
it seems to be unintuitive to understand the symbolic traces Uppaal gives especially in the case they happen to be unstable, i.e. they contain reachable states from where there is no path to the final state. Therefore there should be a concise note in the documentation for clarifying that Uppaal actually uses symbolic traces in the simulator and how a symbolic trace should be interpreted. In the same context, it would be nice to have a reference to the command line option to generate concrete traces using verifyta.
Comment 1 Paul Pettersson 2004-05-07 14:13:54 CEST