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: https://dx.doi.org/10.4204/EPTCS.72.1	bibtex	PDF

References in reconstructed bibtex, XML and HTML format (approximated).

Comments and questions to:

For website issues: