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: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: