Correctness (computer Science) : Soft.lk - A Premium Software Developers - Meet one of the most powerful and intuitive POS systems for retail in Sri Lanka