3.2 Using the Checker

This section is intended to guide you, the user, through a typical series of interactions with the tool, exploring variants of the system described above (see section 1.4.1 Multiplexed buffer example). The experiments are relatively small, compared with the full capabilities of the tool, and should take no more than an hour or so to complete in total. It is recommended that you see section 2. Using FDR for a description of the position of the controls of the tool.

3.2.1 Environment
3.2.2 Getting started
3.2.3 Debugging