Vlada Krsmanovic <vladakrsmanovic(a)gmail.com> writes: Hi Vlada, Unfortunately no. The BuDDy library, that Spot uses for all BDD operations, is not thread-safe. So any algorithm of Spot that touches a BDD isn't thread-safe (just copying a BDD is enough to increment a reference counter in BuDDy). And since Spot uses BDD to represent the labels of automata... most algorithms aren't thread safe. Alexandre