Success!

Note

Error

Session expiration Your session is going to expireClick here to extend

Budget:

Small project <800

Posted on

2/27/16 7:35 AM

Buyer:

Kal***

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

Description

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.