Formal Method

$10-30 USD

Closed

Posted

over 7 years ago

$10-30 USD

Paid on delivery

Instructions: 1 Complete the specification in the [login to view URL] file. 2. Test the implicit PALRobotSys specification within VDMTools, using suitable test data that you should add to the [login to view URL] file. 3. Complete the specification in the [login to view URL] file. Use VDMTools to ensure that your [login to view URL] file is free from all syntax and type errors. 4. Finally you should test the [login to view URL], using the test data in your [login to view URL] file, in order to check its accuracy, using VDMTools. Additional Requirements: Focus: A single word/pdf document consisting of: 1) A copy of the complete PALRobotSys specification with operations specified in an implicit way 2) A report documenting your testing of the [login to view URL] file. 3) A copy of the explicit operations added into the PALRobotSysX.rtf. 4) A report documenting your testing of the explicit operations in the file [login to view URL] file Importent Note: *A copy of the complete PALRobotSys specification with operations specified in an implicit way *A report documenting your testing of the [login to view URL] file. *A copy of the explicit operations added in the [login to view URL] file. *A report documenting your testing of the explicit operations in the file [login to view URL] file

Engineering

PHP

Programming

Software Architecture

Project ID: 12739448

About the project

3 proposals

Remote project

Active 7 yrs ago

Looking to make some money?

Email address

Benefits of bidding on Freelancer

Set your budget and timeframe

Get paid for your work

Outline your proposal

It's free to sign up and bid on jobs

3 freelancers are bidding on average $164 USD for this job

@nileshbakotiya

Hi, Thanks for the opportunity. As per your requirement, i would like to tell you that I have a very strong experience of more than 7 years in this field of design and development. Please spare a moment to discuss this project. Waiting for your message Thanks

$133 USD in 5 days

4.5

(38 reviews)

5.0

@vinodbansal

Hello Admin, I have gone through your job post and I consider myself a competitive candidate for this position. My past experience and skills set makes me perfect for this job. You can refer my upwork profile to check my past experience and clients feedback as well. I am experienced HTML5, CSS3, JS, jQuery and PHP programmer with specialization in Bootstrap and Wordpress. I have great webdesign and development skills and focus on every single detail to make a website success for my clients. Please let me know if I can get this opportunity to work for you. You can contact me anytime via skype or phone call. Thanks Vinod B

$333 USD in 10 days