| BARNAT, Jiří, Luboš BRIM, Petr BAUCH, Milan ČEŠKA and Tomáš LAMR. DiVinE Cuda. 2009. |
|
Other formats:
BibTeX
LaTeX
RIS
|
| Basic information | |
|---|---|
| Original name | DiVinE Cuda |
| Name in Czech | DiVinE Cuda |
| Authors | BARNAT, Jiří (203 Czech Republic, guarantor, belonging to the institution), Luboš BRIM (203 Czech Republic, belonging to the institution), Petr BAUCH (203 Czech Republic, belonging to the institution), Milan ČEŠKA (203 Czech Republic, belonging to the institution) and Tomáš LAMR (203 Czech Republic, belonging to the institution). |
| Edition | 2009. |
| Other information | |
|---|---|
| Original language | English |
| Type of outcome | Software |
| Field of Study | 10201 Computer sciences, information science, bioinformatics |
| Country of publisher | Czech Republic |
| Confidentiality degree | is not subject to a state or trade secret |
| WWW | URL |
| RIV identification code | RIV/00216224:14330/09:00028808 |
| Organization unit | Faculty of Informatics |
| Keywords in English | masivelly parallel verification; model-checking; CUDA |
| Technical parameters | LTL model checker využívající masivně paralelní technologii CUDA |
| Tags | masivelly parallel verification; model-checking; CUDA |
| Tags | International impact |
| Changed by | Changed by: prof. RNDr. Luboš Brim, CSc., učo 197. Changed: 2/2/2011 09:39. |
| Abstract |
|---|
| New generation of DiVinE tool allowing for significant acceleration of model checking process by full utilization of modern massively parallel architectures. The tool is effectively utilizing the CUDA technologie. |
| Abstract (in Czech) |
|---|
| Nová generace nástroje DiVinE, která dovoluje efektivní využítí moderních vysoce paralelních architektur pro akceleraci procesu LTL ověřování modelů (LTL Model Checking). Nástroj je zejména určen pro využití technologie CUDA, ktera je široce dostupná v současných grafickách kartách. |
| Links | |
|---|---|
| GA201/09/1389, research and development project | Name: Verifikace a analýza velmi velkých počítačových systémů |
| Investor: Czech Science Foundation, Verification and Analysis of Large-Scale Computer Systems | |
| GD102/09/H042, research and development project | Name: Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů |
| Investor: Czech Science Foundation | |
| GP201/09/P497, research and development project | Name: Automatizovaná formální verifikace s využitím soudobého hardware |
| Investor: Czech Science Foundation, Automated formal verification using modern hardware | |
| 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: 22/6/2024 09:06