The Tracer and the related material below are property of the Weizmann Institute of Science, Rehovot, Israel.
Model-based trace visualization and exploration for reactive systems
|Case study application: Monitoring a PacMan game|
The scenario-based execution traces for the examples below were generated for
the Tracer using the
The program traced for the examples below is adopted from a publicly available Java implementation of the classic PacMan game.
Selected screenshots appear below. Click on the pictures to enlarge.
|Main view and overview.|