Verseny felkészülés

A felkészüléshez ajánljuk az alábbiakat:

• A tárgyhonlapon (https://inf.mit.bme.hu/edu/courses/remo/materials) elérhető anyagokat, különösen a gyakorlatok kiegészítő (*-os) feladatait és a gyakorlati anyagot összefoglaló feladatgyűjteményt.
• Az Allen-féle intervallumlogika átismétlését: ld. Folyamatmodellezés előadás, illetve példa szinten https://www.ics.uci.edu/~alspaugh/cls/shr/allen.html (az “Operations on relations” rész előtti leírás)
• A tanszéki honlapon elérhető összefoglalót szoftverek formális ellenőrzéséről: http://docs.inf.mit.bme.hu/remo-jegyzet/software-verification.pdf