Session expiration Your session is going to expireClick here to extend

Budget (€) :

Small project <800

Posted on

2/27/16 7:35 AM

This project is completed

Someone on twago has already accepted this project. Find a project of your own, sign up today!

Post similar project now


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.