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

Investor logo

Warning

This publication doesn't include Faculty of Sports Studies. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

BRIM Luboš BARNAT Jiří

Year of publication 2011
Type Article in Periodical
Magazine / Source Electronic Proceedings in Theoretical Computer Science
MU Faculty or unit

Faculty of Informatics

Citation
Web EPTCS
Doi http://dx.doi.org/10.4204/EPTCS.72.1
Field Informatics
Keywords Model checking; hardware platforms; parallelism
Description The paper overviews recent developments in platform-dependent explicit-state LTL model checking.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.

More info