A gráfalapú modellek kulcsfontosságú szerepet töltenek be az informatikában és számos egyéb tudományterületen. Kritikus rendszerek – autonóm járművek, repülők vagy egyéb kiberfizikai rendszerek – tervezése során széles körben al-kalmaznak ilyen modelleket. Ezek segítségével számos fejlesztési lépés auto-matizálható (például modelltranszformációk és kódgenerátorok alkalmazásá-val), valamint a fejlesztés alatt álló rendszer helyessége is matematikailag el-lenőrizhetővé válik különböző analízis eszközök (például modellellenőrzők) se-gítségével. Ezáltal kevesebb idő alatt megbízhatóbb szoftverek készíthetőek. Ennek folytán több tesztelési, helyességbizonyítási és teljesítménymérési megközelítés is épít konzisztens (jólformált) gráfok szisztematikus előállítására, melyekben a gráfok tesztesetként, ellenpéldaként vagy teljesítménytesztként szolgálnak. Ennek következtében a gráfgenerálás egy aktív kutatási területté vált.

 

A témán dolgozó hallgatók olyan nemzetközi élvonalba tartozó gráfalapú formális logikai következtető algoritmus fejlesztéséhez csatlakozhat, amely skálázódás tekintetében vetekszik az MIT vagy a Microsoft Research kutatói által kidolgozott SMT vagy SAT megoldókra alapuló módszerekkel.

 

https://refinery.tools/