Programming and verifying the Horizontal Instrument