Formális módszerek - Házi feladat 22-28 forrásának megtekintése

{{GlobalTemplate|Infoalap|FormModHazi22tol28}}

<br>

==22.==
==23.==
==24.==
A 2. pontra kerül a homokágyból. és a 2. feladatban 10-es szám 
szerepel 9 helyett.
==25. Vasúti Pályakarbantartás==
<ul>
<li>Állapotszám amivel meg lehet oldani: Nekem 46-al sikerült megoldani. (ebből pár(4-6) helyem az elég redundáns)</li>
<li>Deadlock: Ha szépen elfogyasztjuk az olajtartálból az összes olajat majd kiküldjük a tehervagonnal az egyik pályára a szerelvényünket a másikra meg tetszöleges szerelvényünket és elmegy az áram.</li>
<li>Kivédése pl: Nem engedünk elindulni fehérvárról úgy szerelvényt, hogy kettőnél kevesebb olaj van a tartályban</li>
<li>DNANet: Nekem INA-val kellett ellenőrizni, mert BLOWN STACK-elt az ellenőrzés.</li>
<li>SAL: Ide jó lenne összedobni hogyan érdemes megvalósítani a LTL-eket.</li>
</ul>
==26. Mozi==
A magas szintű modellnél két diagrammot érdemes csinálni:<br>
- Az egyik egyetlen mozi működéséről szól.<br>
- A másik a szállító egységet írja le.
==27.==
==28.==


[[Category:Infoalap]]