Formális módszerek vizsga, 2007. jan. 17

A VIK Wikiből

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.


A 17-ei vizsga nagy resze a neten fent levo vizsgakhoz hasonlo, kissebb modositasokkal. Amire meg emlekszem ezekbol kb:

  • elmelet kiskerdesek - szokasos kerdesekbol voltak
  • Graftranszfo- master-checker grafos pelda feljrajzolni a halot stb.
  • Illesztes - uzenetkuldos ( processz, csatorna, uzenet)
  • ROBDD a fromulaban kellett valtozok helyet kitalalgatni, aztan majd a szokasos fuggvenyekhez tartozok fak felrajzolasa es a kozos fv. meghatarozasa
  • Orvos-beteg kripke automata, LTL kifejezeseket felirni ra, kozos automata
  • Tablomodszer - mindig igaz, hogy a beteg elobb utobb meghal- ezt az allitas ezt kell levezetni

Ami nem volt benne az a UML, elosseg, korlatossag, P, T invariancia

udv, Istvan (info2003, 2007. 01. 23.)


-- palacsint - 2007.01.23.