Designing a traffic light controller using labeling algorithm
$10-30 USD
Πληρώθηκε κατά την παράδοση
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.
Ταυτότητα Εργασίας: #11693629
Σχετικά με την εργασία
1 freelancer κάνει προσφορά κατά μέσο όρο $66 για αυτή τη δουλειά
............................................................................................................................
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 Περισσότερα