Testing and Formal Methods - BOS Project Case Study