Další formáty:
BibTeX
LaTeX
RIS
@article{960288,
author = {Brim, Luboš and Barnat, Jiří},
article_number = {2011},
doi = {http://dx.doi.org/10.4204/EPTCS.72.1},
keywords = {Model checking; hardware platforms; parallelism},
language = {eng},
issn = {2075-2180},
journal = {Electronic Proceedings in Theoretical Computer Science},
note = {PDMC 2011, Invited talk},
title = {Platform Dependent Verification: On Engineering Verification Tools for 21st Century},
url = {http://eptcs.org/paper.cgi?PDMC2011.1},
volume = {72},
year = {2011}
}
TY - JOUR
ID - 960288
AU - Brim, Luboš - Barnat, Jiří
PY - 2011
TI - Platform Dependent Verification: On Engineering Verification Tools for 21st Century
JF - Electronic Proceedings in Theoretical Computer Science
VL - 72
IS - 2011
SP - 1-12
EP - 1-12
SN - 20752180
N1 - PDMC 2011, Invited talk
KW - Model checking
KW - hardware platforms
KW - parallelism
UR - http://eptcs.org/paper.cgi?PDMC2011.1
N2 - The paper overviews recent developments in platform-dependent explicit-state LTL model checking.
ER -
BRIM, Luboš a Jiří BARNAT. Platform Dependent Verification: On Engineering Verification Tools for 21st Century. \textit{Electronic Proceedings in Theoretical Computer Science}. 2011, roč.~72, č.~2011, s.~1-12. ISSN~2075-2180. Dostupné z: https://dx.doi.org/10.4204/EPTCS.72.1.
|
