Other formats:
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š and Jiří BARNAT. Platform Dependent Verification: On Engineering Verification Tools for 21st Century. \textit{Electronic Proceedings in Theoretical Computer Science}. 2011, vol.~72, No~2011, p.~1-12. ISSN~2075-2180. Available from: https://dx.doi.org/10.4204/EPTCS.72.1.
|