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

Abstract

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