Tools to help verify the correct implementation of algorithms