Watch our online demos.

Testing a simple reactive system: an elevator controller

Testing a simple C program

Testing a circular buffer (about 15 minutes)

Testing encoding and decoding functions

Helping to pin down exactly when the code fails.