• Efficient and effective symbolic model checking 

    Iyer, Subramanian Krishnan (2006)
    The main bottleneck in practical symbolic model checking is that it is restricted by the ability to efficiently represent and perform operations on sets of states. Symbolic representations, like Binary Decision Diagrams, ...