Designing a traffic light controller using labeling algorithm
$10-30 USD
Paid on delivery
Specify/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.
please follow up with the details in the attached files.
Project ID: #11693629
About the project
1 freelancer is bidding on average $66 for this job
............................................................................................................................
I would like to bid this job because I am really suitable for job description: First: I am an software engineer who is very expertise with C/C++. In fact, I have done so many project of C/C++(Karatsuba multiplier, Nin More
