Designing a traffic light controller using labeling algorithm
$10-30 USD
Pagado a la entrega
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.
Nº del proyecto: #11693629
Sobre el proyecto
1 freelancer está ofertando el promedio de $66 para este trabajo
............................................................................................................................
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 Más
