FormModZh20100322

Ez az oldal a korábbi SCH wikiről lett áthozva.

Ha úgy érzed, hogy bármilyen formázási vagy tartalmi probléma van vele, akkor, kérlek, javíts rajta egy rövid szerkesztéssel!

Ha nem tudod, hogyan indulj el, olvasd el a migrálási útmutatót.

Elméleti kérdések

• Egy adott kifejezés szintaktikailag helyes-e CTL*-ban és CTL-ben?
• Állapottérképekben a konfliktus fogalma és a feloldás menete

ROBDD

Fel kellett írni egy f fv-t ROBDD alapján, majd egy g fv alapján felrajzolni a gráfot, végül az f ÉS g-t kellett a tanult módon felrajzolni.

KS, LTL

Volt egy kávéautomata, aminek meg volt adva KS-el az állapotai, és a hallgató, akinek programkóddal volt leírva a viselkedése. Fel kellett rajzolni a hallgató KS-ét, valamint a közös rendszerét. Végén néhány követelményt kellett megfogalmazni formálisan. Tabéómódszerrel kellett bizonyítani egy állítást.

Állapottérképek

Meg volt adva egy állapottérkép, és azon kellett megmondani a kezdőállapotokat, a tüzelhető átmeneteket, konfliktust feloldani, végül a végbemenő eseményeket sorrendben

-- sashee - 2010.03.24.