Az alábbi információk tájékoztató jellegűek. A hatályos követelmények az egyetemi tanrendi keresőben találhatók.
Nappali tagozaton:
Előadás: heti 2 óra / 4 kredit. Teljesítés módja: Kollokvium.
Gyakorlat: heti 1 óra / 0 kredit. Teljesítés módja: Aláírás.
Levelező tagozaton:
Előadás: összesen 13 óra / 4 kredit. Teljesítés módja: Kollokvium.
Gyakorlat: összesen 5 óra / 0 kredit. Teljesítés módja: Aláírás.
A kurzus felvételének előfeltételei: IB604 vagy IBL604 Logika és informatikai alkalmazásai.
Átmeneti rendszerek és homomorfizmusaik. Véges értékű változók, pufferek, programok, Petri hálók modellezése átmeneti rendszerekkel. Process algebrákból származtatott átmeneti rendszerek.
Átmeneti rendszerek szinkronizált szorzata. Szinkronizálás üzenetekkel és közös változókkal.
Temporális logikák. Az LTL és a CTL. Átmeneti rendszerek tulajdonságainak verifikálása, modellellenőrzés. Az állapotrobbanás. A verifikáció automataelméleti megközelítése.
Átmeneti rendszerek szimbolikus kezelése. Szimbolikus modellellenőrzés.
Időzített automaták.
Konkrét szoftver rendszerek, pld.: SMV, SPIN, UPPAAL
A gyakorlat és a vizsga csak azonos tanulmányi félévben teljesíthetők. Korábbi gyakorlati teljesítmény nem vehető figyelembe és a gyakorlat kötelező látogatása alól sem mentesít.
A kurzusok teljesítéseinek értékelése pontozás alapján történik. Maximálisan összegyűjthető pontszám 100, amelyből a gyakorlaton 40-et, a vizsgán 60-at lehet megszerezni.
A gyakorlat teljesítésének (az aláírás megszerzése) feltételei:
A gyakorlat látogatása kötelező. Egynél több igazolatlan hiányzás (ami nem eshet a zárthelyi dolgozatírások időpontjába) esetén a gyakorlat nem teljesített. Igazolt hiányzás esetén az igazolását a hallgató köteles a hiányzást követő első gyakorlaton bemutatni az oktatónak. Amennyiben a hallgató igazoltan többet hiányzott, mint az adott kötelező foglalkozásra megállapított 6 heti összes óraszám, pótlásnak helye nincs, a tantárgy nem teljesített.
2 zárthelyi dolgozat sikeres megírása és 1 önállóan elkészített program határidőre történő benyújtása. A zárthelyi dolgozatok írásának időpontjai, továbbá a program beadásának határideje az első gyakorlaton kerül kihirdetésre. A zárthelyi dolgozat témaköre a gyakorlaton és az előadáson a dolgozatírást megelőző hétig elhangzott anyagból kerül ki. Az első dolgozat maximális pontszáma 20, a második dolgozat maximális pontszáma 10, a határidőre beadott program maximális pontszáma 10. A dolgozat sikeres, ha az elért pontszám az első dolgozatnál legalább 6, a második dolgozatnál legalább 3. Csak egy sikertelen dolgozat javítható az első gyakorlaton kihirdetett időpontban. Sikeres dolgozat nem javítható. A javító dolgozat témaköre a sikertelen dolgozatéval azonos. A legalább 30%-ra megírt javító dolgozat minősül sikeresnek és a pontszáma az első dolgozat javításánál 6, a második dolgozat javításánál 3. Az igazolt hiányzás miatti dolgozatírás pótlása a javító dolgozatírással együtt történik. Az ilyen dolgozatok témaköre és értékelése megegyezik a pótolandó dolgozatéval. A szorgalmi időszakban, de határidőn túl beadott program pontszámából naponta egy pont levonásra kerül. A programra legalább 3 pontot kell szerezni.
A gyakorlat csak sikeres vizsga esetén teljesített aláírással.
A vizsga (kollokvium) teljesítésének feltételei:
Csak az a hallgató vizsgázhat az ETR-ben meghirdetett vizsganapokon, aki a gyakorlaton a fentiek szerint meghatározott módon legalább 12 pontot gyűjtött, érvényes vizsgabejelentkezése van az adott vizsganapra az ETR-ben, bemutatja a vizsgán az ETR-ből nyomtatott kurzusteljesítési lapot és igazolja személyazonosságát (a leckekönyv /diákigazolvány bemutatásával).
A vizsga összpontszáma 60, amely két 30 pontos részből áll össze:
A vizsga akkor sikeres, ha a vizsga mindkét részére a hallgató az előírt minimális pontszámot megszerzi.
Sikeres vizsga esetén a kollokvium érdemjegye a gyakorlati és a vizsga pontszámának összege alapján, sávosan kerül meghatározásra az alábbiak szerint:
A TVSZ 13.4. pontja szerint "a vizsgáról való nem engedélyezett távolmaradás elhasznált vizsgaalkalomnak minősül, mellyel a lehetséges vizsgaismétlések számát csökkenteni kell".
Vizsgáról való hiányzás igazolásával a hallgatónak a vizsgáztató oktatóhoz kell fordulni.
A gyakorlat és a vizsga csak azonos tanulmányi félévben teljesíthetők. Korábbi gyakorlati teljesítmény nem vehető figyelembe.
A kurzusok teljesítéseinek értékelése pontozás alapján történik. Maximálisan összegyűjthető pontszám 100, amelyből a gyakorlaton 40-et, a vizsgán 60-at lehet megszerezni.
A gyakorlat teljesítésének (az aláírás megszerzése) feltételei:
1 zárthelyi dolgozat sikeres megírása és 1 önállóan elkészített program határidőre történő benyújtása. A zárthelyi dolgozat írásának időpontja, továbbá a program beadásának határideje az első órán kerül kihirdetésre. Zárthelyi dolgozat írásakor csak igazolt távollét megengedett. A zárthelyi dolgozat témaköre a gyakorlaton és az előadáson a dolgozatírást megelőző hétig elhangzott anyagból kerül ki. A dolgozat maximális pontszáma 30, a határidőre beadott program maximális pontszáma 10. A dolgozat sikeres, ha az elért pontszám legalább 9. Csak sikertelen dolgozat javítható az első órán kihirdetett időpontban. Sikeres dolgozat nem javítható. A javító dolgozat témaköre a sikertelen dolgozatéval azonos. A legalább 30%-ra megírt javító dolgozat minősül sikeresnek és a pontszáma 9. Az igazolt hiányzás miatti dolgozatírás pótlása a javító dolgozatírással együtt történik. Az ilyen dolgozat témaköre és értékelése megegyezik a pótolandó dolgozatéval. A szorgalmi időszakban, de határidőn túl beadott programnál a pontszámból naponta egy pont levonásra kerül. A programra legalább 3 pontot kell szerezni.
A gyakorlat csak sikeres vizsga esetén teljesített aláírással.
Csak az a hallgató vizsgázhat az ETR-ben meghirdetett vizsganapokon, aki a gyakorlaton a fentiek szerint meghatározott módon legalább 12 pontot gyűjtött, érvényes vizsgabejelentkezése van az adott vizsganapra az ETR-ben, bemutatja a vizsgán az ETR-ből nyomtatott kurzusteljesítési lapot és igazolja személyazonosságát (a leckekönyv /diákigazolvány bemutatásával).
A vizsga összpontszáma 60, amely két 30 pontos részből áll össze:
A vizsga akkor sikeres, ha a vizsga mindkét részére a hallgató az előírt minimális pontszámot megszerzi.
Sikeres vizsga esetén a kollokvium érdemjegye a gyakorlati és a vizsga pontszámának összege alapján, sávosan kerül meghatározásra az alábbiak szerint:
A TVSZ 13.4. pontja szerint "a vizsgáról való nem engedélyezett távolmaradás elhasznált vizsgaalkalomnak minősül, mellyel a lehetséges vizsgaismétlések számát csökkenteni kell".
Vizsgáról való hiányzás igazolásával a hallgatónak a vizsgáztató oktatóhoz kell fordulni.
Sikeres vizsga megismétlésére a TVSZ. 15. pontjában leírtak érvényesek. A sikeres vizsgát javító vizsga ekkor két fő részből áll. Egyik rész a gyakorlat témakörére épülő 40 pontos feladatsor minimum 12 pontra való megírása. Másik rész a fentiek szerinti vizsga letétele. A vizsgajegye ekkor a legalább 12 pontos dolgozat és a sikeres vizsga pontszámainak összege alapján a fenti sávos rendszer szerint határozódik meg.