J
2003
Distribution of Explicit-State LTL Model-Checking
BRIM, Luboš and Jiří BARNAT
Basic information
Original name
Distribution of Explicit-State LTL Model-Checking
Authors
BRIM, Luboš (203 Czech Republic, guarantor) and
Jiří BARNAT (203 Czech Republic)
Editors Thomas Arts, Wan Fokking.
Edition
Electronic Notes in Theoretical Computer Science, Elsevier Science, 2003
Other information
Type of outcome
Článek v odborném periodiku
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Netherlands
Confidentiality degree
není předmětem státního či obchodního tajemství
RIV identification code
RIV/00216224:14330/03:00008591
Organization unit
Faculty of Informatics
Keywords in English
model-checking; distribution; verification
Tags
International impact, Reviewed
V originále
We give a brief summary of recent achievements in research related to the distribution of explicit-state LTL model-checking.
Links
GA201/03/0509, research and development project | Name: Automatizovaná verifikace paralelních a distribuovaných systémů | Investor: Czech Science Foundation, Automated Verification of Parallel and Distributed Systems |
|
MSM 143300001, plan (intention) | Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů | Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing |
|
Displayed: 18/10/2024 15:23