Find Jobs
Hire Freelancers

Parallel Computing / LATEX/ Promela : Principles of Concurrent and Distributed Programming

$30-250 USD

Cancelled
Posted over 9 years ago

$30-250 USD

Paid on delivery
Subject(s): Computer Science—Parallel Computing Deadline " 4 days after confirmation Budget 50-80$ Wrong /Plagiarized solution not accepted! the textbook is: Principles of Concurrent and Distributed Programming 2nd edition, M Ben-Ari, Addison-Wesley, 2006. The assignment is on concurrent computing, need to use both mathematical proofs and spin verification tool. Documentation done with " Latex"" .Need to do the assignment to the spec including the bonus marks. Hi, this is the assignment I mentioned earlier, please take a look and reply. If you are willing to take this assignment, please answer the following questions: 1. Are you familiar with spin verification? Please gimme examples of its features. 2. Could you please tell me the difference between safety and liveliness properties? Waiting in a line for a hotdog-realistically. Is the statement "getting a hotdog eventually" a safety or liveliness property? Oh, the subject is quite specialized, if you are trying to start from scratch, it's going to be difficult. The requirements are: 1. Familiar with parallel computing. eg) critical section, semaphores, model checking, formal verification. 2. Heavy on relational mathmatics: mathmatical proofs and LTL(linear temporal logic) concepts. 3. You need to program the model physically on spin verification tool which uses promela. Similar syntax with C, but vastly different control structure. Sorry, I'm looking for a tutor familiar with the subject. It's not big at all. If you know what you are doing, the math proof is simple, the model is a variation of dining cryptographer problem, and the spin code is minimal. I'm asking for a solution because the lecturer did not provide with enough examples on assertion/induction proofs that I need a correct solution to check my own solution. The budget is approx ($50-80) PLEASE if you are not familiar with the subject then release it for someone else. I will not accept incomplete wrong solution.
Project ID: 6532260

About the project

2 proposals
Remote project
Active 9 yrs ago

Looking to make some money?

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
2 freelancers are bidding on average $59 USD for this job
User Avatar
A proposal has not yet been provided
$88 USD in 4 days
4.1 (11 reviews)
4.0
4.0
User Avatar
This can be done. I have 6 years of experience including 4 years of experience developing algorithms and programming in c++. Do let me know in case of further interest.
$30 USD in 3 days
0.0 (0 reviews)
0.0
0.0
User Avatar
A proposal has not yet been provided
$222 USD in 10 days
0.0 (0 reviews)
0.0
0.0

About the client

Flag of INDIA
Jaipur, India
4.8
29
Payment method verified
Member since Apr 25, 2014

Client Verification

Thanks! We’ve emailed you a link to claim your free credit.
Something went wrong while sending your email. Please try again.
Registered Users Total Jobs Posted
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Loading preview
Permission granted for Geolocation.
Your login session has expired and you have been logged out. Please log in again.