Informace o publikaci
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
| Název česky | O rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy |
|---|---|
| Autoři | |
| Rok publikování | 2009 |
| Druh | Článek ve sborníku |
| Konference | Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008) |
| Fakulta / Pracoviště MU | |
| Citace | |
| www | http://dx.doi.org/10.1016/j.entcs.2009.05.033 |
| Obor | Informatika |
| Klíčová slova | process rewrite systems; LTL; infinite-state; model-checking; decidability |
| Popis | Je stanovena hranice rozhodnutelnosti ověřování modelu pro logiku LTL+Past a slabě rozšířené Procesové Přepisovací Systémy. |
| Související projekty: |
|