A tárgy célja a szoftvertervezésben használatos formális specifikációs nyelvek, verifikációs módszerek és validációs technikák rendszerező ismertetése. Ennek keretében hangsúlyosan tárgyalja a tipikus verifikációs technikák (modellellenőrzés, ekvivalencia ellenőrzés, helyességbizonyítás) matematikai alapjait, valamint a modell alapú tesztgenerálási módszereket. Ezek segítségével lehetővé válik algoritmusok és adatstruktúrák precíz leírása, tulajdonságaik bizonyítása, valamint az implementáció tesztelése. Tovább »
