Platform Dependent Verification: On Engineering Verification Tools for 21st Century
arXiv:1111.0368 · doi:10.4204/EPTCS.72.1
Abstract
The paper overviews recent developments in platform-dependent explicit-state LTL model checking.
In Proceedings PDMC 2011, arXiv:1111.0064