Success

Notes

Error

 
 
 
 
Budget

Small project <800

Posted on

2016-02-27 07:35:06.0

Buyer:

kal***

This project is complete

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.