Efficient Offline Monitoring of Linear Temporal Logic with Bit Vectors

Kun Xie, Sylvain Hallé

A bitmap is a data structure designed to compactly represent sets of integers; it provides very fast operations for querying and manipulating such sets, exploiting bit-level parall…