[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

3. Reference

This chapter describes each of ProBE's main windows in turn.

3.1 Launcher  
3.2 Explorer  
3.3 Inspector  
3.4 Trace display  
3.5 Viewer  



Formal Systems (Europe) Ltd ProBE Manual