Zde se nacházíte:
Informace o publikaci
Weakly Extended Process Rewrite Systems
Název česky | Slabě rozšířené procesové přepisovací systémy |
---|---|
Autoři | |
Rok publikování | 2006 |
Druh | Další prezentace na konferencích |
Fakulta / Pracoviště MU | |
Citace | |
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: |