Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds

Lars Kuhtz, Bernd Finkbeiner

Path checking, the special case of the model checking problem where the model under consideration is a single path, plays an important role in monitoring, testing, and verification…