Aslan and PVS are both formal specification languages. This project involved converting an existing Aslan code to PVS. I will provide the documents required gain knowledge about it. Both the laguages to be used are not in the market right now. I need it to be done as soon as possible. It is an easy task that needs little understanding.