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

• 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
• 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