Software Verfication on LTL and CTL

£20-250 GBP

Closed

Posted

over 5 years ago

£20-250 GBP

Paid on delivery

I need some who is good at State Machine Diagram on a given scenario. I also need someone who can express linear temporal logic and Computation Tree Logic.

Software Architecture

Project ID: 18254325

About the project

2 proposals

Remote project

Active 5 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

2 freelancers are bidding on average £325 GBP for this job

@liveexperts123

typing.. ............... .................

£150 GBP in 3 days

5.0

(75 reviews)

7.4

@SensenetTech

Hello, SenseNet technology is a USA & India based website, software & mobile APP design and Development Company since 2010 and developed more than 250+ projects. I have gone through initial requirements and can develop your project with all required features. We have developed many similar projects that I can show you in chat. We have 8+ years experienced on WordPress, PHP, CodeIgniter, C++, C#, Java, JavaScript, Perl, Matlab, R, Bash Scripting, Php (Zend, CodeIgniter, Wordpress, Drupal), MySQL / MariaDB, JSP(Spring). And in HTML5, CSS3, JQUERY, Bootstrap, and Photoshop for fully responsive design. We are also experienced in Swift, Objective-C, Ionic development and Android for mobile app development. Please invite me to chat for details discussion and we can start the development immediately. Thanks & best regards, Vivek K.

£500 GBP in 15 days