file.pdf (601.71 kB)
Download file

Symbolic Model Checking with Partitioned Transition Relations

Download (601.71 kB)
journal contribution
posted on 01.10.2008, 00:00 by Jerry Burch, Edmund M Clarke, David Long
We significantly reduce the complexity of BDD-based symbolic verification by using partitioned transition relations to represent state transition graphs.

History

Date

01/10/2008

Usage metrics

Exports