State Machine, LTL & CTL
£20-250 GBP
Płatność przy odbiorze
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.
Numer ID Projektu: #18165404
O projekcie
2 freelancerów złożyło ofertę za £175 w tym projekcie
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 Więcej
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.