REACTO Verification System Project