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

The paper overviews recent developments in platform-dependent explicit-state LTL model checking.

Saved in:
Bibliographic Details
Published inElectronic proceedings in theoretical computer science Vol. 72; no. Proc. PDMC 2011; pp. 1 - 12
Main Authors Brim, Luboš, Barnat, Jiří
Format Journal Article
LanguageEnglish
Published Open Publishing Association 31.10.2011
Online AccessGet full text

Cover

More Information
Summary:The paper overviews recent developments in platform-dependent explicit-state LTL model checking.
ISSN:2075-2180
2075-2180
DOI:10.4204/EPTCS.72.1