Platform Dependent Verification: On Engineering Verification Tools for   21st Century
  The paper overviews recent developments in platform-dependent explicit-state LTL model checking. 
Lubo\v{s} Brim (Masaryk University), Ji\v{r}\'i Barnat (Masaryk   University)
cs.SE cs.LO