State Machine, LTL & CTL

Zamknięty Opublikowano 5 lat temu Płatność przy odbiorze
Zamknięty 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.

Algorytmy Matematyka Architektura oprogramowania

Numer ID Projektu: #18165404

O projekcie

2 ofert Zdalny projekt Aktywny 5 lat temu

2 freelancerów złożyło ofertę za £175 w tym projekcie

MathsMasterA

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

£250 GBP w ciągu 1 dnia
(9 Oceny)
3.7
JawadIT

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.

£100 GBP w ciągu 2 dni
(11 Oceny)
3.9