Before you start reading: are you the right person for using the Traffic Control Development Tool? – The VS-pCoq Spy helps you designing controllers for road traffic intersections. Use it for developing and testing your controller(s). Use it for simulating and optimizing one intersection or a group of intersections in your city. Don't use it for searching the base cycle, the phase splits, or the time offsets of a coordinated traffic area. The VS-pCoq Spy features Adaptive Intersection Control, using on-line feedback information from the roadside. Use it for evaluating your existing controllers and for comparing them to a possible Adaptive Control.

This is the User's Guide and the Reference Manual for the VS-pCoq Spy. Maybe a bit short all together? Yes, but normally Users don't like to read the manuals written for them, and they'd rather prefer playing with the program until it doesn't move any more. And anyway, only simple programs need deeply detailed manuals. Complicated programs are always self explaining.

Let's be a little more serious now. You will soon find out that the VS-pCoq Spy doesn't need a lot of explanations, because it behaves very much as you'd expect it to behave. Maybe, before trying to simulate the ultimate city traffic control strategy, you should become a bit familiar with its way of interpreting your commands. So let's have a look at first at how the VS-pCoq Spy thinks you should think about it.

Should you still be interested in exploring the features of the VS-pCoq Spy after the first some pages, may I suggest you to follow some of the examples given in the "Examples" section? If, at any point of your reading, you feel the need for knowing more details about a certain element or a certain term, please refer to the "Reference" section, in which you should find many screen dumps and an answer to (almost?) all your questions.