Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{792976, author = {Barnat, Jiří and Brim, Luboš and Ročkai, Petr}, address = {Berlin / Heidelberg}, booktitle = {Automated Technology for Verification and Analysis}, keywords = {LTL Model Checking; Parallel; Tool}, language = {eng}, location = {Berlin / Heidelberg}, isbn = {978-3-540-88386-9}, pages = {234-239}, publisher = {Springer}, title = {DiVinE Multi-Core -- A Parallel LTL Model-Checker}, year = {2008} }
TY - JOUR ID - 792976 AU - Barnat, Jiří - Brim, Luboš - Ročkai, Petr PY - 2008 TI - DiVinE Multi-Core -- A Parallel LTL Model-Checker PB - Springer CY - Berlin / Heidelberg SN - 9783540883869 KW - LTL Model Checking KW - Parallel KW - Tool N2 - We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically for multi-core and multi-cpu environments using shared memory. We show how the parallel algorithms allow the tool to exploit the power of contemporary hardware, which is based on increasing number of CPU cores in a single system, as opposed to increasing speed of a single CPU core. ER -
BARNAT, Jiří, Luboš BRIM a Petr ROČKAI. DiVinE Multi-Core -- A Parallel LTL Model-Checker. In \textit{Automated Technology for Verification and Analysis}. Berlin / Heidelberg: Springer. s.~234-239. ISBN~978-3-540-88386-9. 2008.
|