| BARNAT, Jiří, Luboš BRIM and Ivana ČERNÁ. Distributed Analysis of Large Systems. In Formal Methods for Components and Objects. Amsterdam: CWI Amsterdam, 2005, p. 31-35, 4 pp. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | Distributed Analysis of Large Systems |
| Name in Czech | Distribuovaná analýza rozsáhlých systémů |
| Authors | BARNAT, Jiří (203 Czech Republic), Luboš BRIM (203 Czech Republic, guarantor) and Ivana ČERNÁ (203 Czech Republic). |
| Edition | Amsterdam, Formal Methods for Components and Objects, p. 31-35, 4 pp. 2005. |
| Publisher | CWI Amsterdam |
| Other information | |
|---|---|
| Original language | English |
| Type of outcome | Proceedings paper |
| Field of Study | 10201 Computer sciences, information science, bioinformatics |
| Country of publisher | Netherlands |
| Confidentiality degree | is not subject to a state or trade secret |
| RIV identification code | RIV/00216224:14330/05:00012771 |
| Organization unit | Faculty of Informatics |
| UT WoS | 000240360000013 |
| Keywords in English | distributed LTL model checking |
| Tags | distributed LTL model checking |
| Tags | International impact, Reviewed |
| Changed by | Changed by: prof. RNDr. Jiří Barnat, Ph.D., učo 3496. Changed: 1/6/2009 21:16. |
| Abstract |
|---|
| Tutorial lecture giving an overview of explicit distributed algorithms for LTL model checking. The lecture reviews property driven distribution of state spaces, algorithms exploiting breadth firs search, set based algorithms based on the principle One way catch them young and its reverse, accepting predecessoros based approach, dependency structure based depth first search and reduction to the negative cycle problem. |
| Abstract (in Czech) |
|---|
| Tutorial poskytující přehled technik a přístupů používaných v explicitním ověřování lineárních temporálních vlstností. |
| Links | |
|---|---|
| GA201/03/1161, research and development project | Name: Verifikace nekonečně stavových systémů |
| Investor: Czech Science Foundation, Verification of infinite-state systems | |
| MSM0021622419, plan (intention) | Name: Vysoce paralelní a distribuované výpočetní systémy |
| Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems | |
| 1ET408050503, research and development project | Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů |
| Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems | |
PrintDisplayed: 5/5/2024 10:58