Platform Dependent Verification: On Engineering Verification Tools for 21st Century

Luboš Brim
(Masaryk University)
Jiří Barnat
(Masaryk University)

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.

Invited Presentation in Jiří Barnat and Keijo Heljanko: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011), Snowbird, Utah, USA, July 14, 2011, Electronic Proceedings in Theoretical Computer Science 72, pp. 1–12.
Published: 31st October 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.72.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org