Find Jobs
Hire Freelancers

CTL state space equations and model checking(Electrical Engineering) -- 3

$10-30 AUD

Cancelled
Posted over 7 years ago

$10-30 AUD

Paid on delivery
Define two properties (specifications) that you believe are required for designing a traffic light controller. From there, write the properties in CTL formulas and come up with a state space (valid Kripke structure) of your controller. Then, when everything is done, verify if your design satisfies your specifications using Model Checking based on the labeling algorithm. Kindly check attached file for refrence example
Project ID: 11704022

About the project

Remote project
Active 7 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

About the client

Flag of PAKISTAN
Lahore, Pakistan
5.0
1
Member since Mar 10, 2015

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.