Biconnected components; Massive graphs; Model checking; Ordered binary decision diagrams; Strongly connected components

The importance of symbolic data structures such as Ordered Binary Decision Diagrams (OBDD) is rapidly growing in many areas of Computer Science where the large dimensions of the input models is a challenging feature: OBDD based graph representations …