Exploiting Cofactoring for Efficient FSM Symbolic Traversal Based on the Transition Relation.

Gianpiero Cabodi, Paolo Camurati

Browse the full ICCD paper archive.