State Machine, LTL & CTL
£20-250 GBP
Pagato alla consegna
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.
Rif. progetto: #18165404
Info sul progetto
2 freelance hanno fatto un'offerta media di £175 per questo lavoro
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 Altro
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.
