file.pdf (601.71 kB)
Download fileSymbolic Model Checking with Partitioned Transition Relations
journal contribution
posted on 2008-10-01, 00:00 authored by Jerry Burch, Edmund M Clarke, David LongWe significantly reduce the complexity of BDD-based symbolic verification by using partitioned transition relations to represent state transition graphs.