Verseny felkészülés
Semester:
2018. tavasz
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