KŘETÍNSKÝ, Mojmír, Vojtěch ŘEHÁK and Jan STREJČEK. On Decidability of LTL+Past Model Checking for Process Rewrite Systems. In Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems. 2007.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Name in Czech Rozhodnutelnost ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy
Authors KŘETÍNSKÝ, Mojmír (203 Czechia, guarantor, belonging to the institution), Vojtěch ŘEHÁK (203 Czechia, belonging to the institution) and Jan STREJČEK (203 Czechia, belonging to the institution).
Edition Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, 2007.
Other information
Original language English
Type of outcome Presentations at conferences
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Portugal
Confidentiality degree is not subject to a state or trade secret
RIV identification code RIV/00216224:14330/07:00019467
Organization unit Faculty of Informatics
Keywords in English process rewrite systems; LTL; infinite-state; model-checking; decidability
Tags decidability, infinite-state, LTL, Model-Checking, process rewrite systems
Tags International impact, Reviewed
Changed by Changed by: doc. RNDr. Vojtěch Řehák, Ph.D., učo 3721. Changed: 28/4/2011 14:50.
Abstract
The Decidability Borderline for Model Checking of LTL+Past and Process Rewrite Systems is determined.
Abstract (in Czech)
Je stanovena hranice rozhodnutelnosti ověřování modelu pro logiku LTL+Past a Procesové Přepisovací Systémy.
Links
MSM0021622419, plan (intention)Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Research Intents
1ET408050503, research and development projectName: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Academy of Sciences of the Czech Republic, Information society (National programme of research)
1M0545, research and development projectName: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Research Centres (National Research Programme)
PrintDisplayed: 12/8/2020 12:14