Designing a traffic light controller using labeling algorithm

Σε Εξέλιξη Αναρτήθηκε Πριν 7 χρόνια Πληρώθηκε κατά την παράδοση
Σε Εξέλιξη Πληρώθηκε κατά την παράδοση

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 πρόταση Απομακρυσμένη εργασία Ενεργό Πριν 7 χρόνια

1 freelancer κάνει προσφορά κατά μέσο όρο $66 για αυτή τη δουλειά

digitallancing

............................................................................................................................

$10 USD σε 1 μέρα
(21 Αξιολογήσεις)
5.2
ducdctoandh

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 Περισσότερα

$66 USD σε 3 μέρες
(29 Αξιολογήσεις)
5.1