Offline monitoring of LTL with bit vectors.

Kun Xie, Sylvain Hall

Browse the full SAC paper archive.