Weakly Extended Process Rewrite Systems

• Název česky: Slabě rozšířené procesové přepisovací systémy
• Autoři: ŘEHÁK Vojtěch
• Rok publikování: 2006
• Druh: Další prezentace na konferencích
• Fakulta / Pracoviště MU: Fakulta informatiky
• Popis: Sjednocujeme pohled na stavově rozšíření procesových přepisovacích systémů a porovnáváme jejich vyjadřovací sílu. Dále studujeme rozhodnutelnost a složitost problémů týkajících se ověřování modelu a jiných procedur formální verifikace jako silné bisimulace, problému dosažitelnosti atd.

Související projekty

• Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů
• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy