source:
vis_dev/vis-2.1/examples/ping_pong_new/README
@
16
| Last change on this file since 16 was 11, checked in by , 14 years ago | |
|---|---|
| File size: 330 bytes | |
| Line | |
|---|---|
| 1 | Shiple |
| 2 | 19 NOV 1993 |
| 3 | |
| 4 | This example is a modification and extension of the original ping pong |
| 5 | example. In particular, the nondeterminism of player was moved from |
| 6 | the output to the transitions. This permits the exclusion of just the |
| 7 | behavior where the player is forever IDLE. Also, two instances of |
| 8 | ping pong balls has been added. |
Note: See TracBrowser
for help on using the repository browser.
![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png)