I will then present a symbolic method known as symmetry breaking to enhance model counting, which bridges the gap ... Her interests lie at the intersection of Software Engineering, Formal Methods, and ...