State Machine, LTL & CTL
£20-250 GBP
Pagado a la entrega
a) Draw the state machine that describes the system.
(b) Express the following property in LTL and CTL.
It is not possible that the secondary storage unit stays partially full forever.
(c) Using the CTL model checking algorithm prove that the CTL formula in b) is verified
or not. [
(d) Write a property of your own, express it in CTL and LTL, where possible, and show if it
can be verified.
Nº del proyecto: #18165404
Sobre el proyecto
2 freelancers están ofertando un promedio de £175 por este trabajo
Very interesting project! If you see my profile, you can know I am a mathematics professional. I major in analysis, calculus, statistics, numerical computation, fractal geometry and chaos dynamics as well as elementa Más
Hello. I myself is an engineer, expert in mathematics, physics and all the structured dataset. Well-experienced in state machines and its algorithm designing. You can contact me for further.