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

Warning

This publication doesn't include Faculty of Arts. 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:	Highly Parallel and Distributed Computing Systems Software Components in Embedded Systems: Development and Verification