Speeding up symbolic model checking by accelerating dynamic variable reordering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christoph Meinel, Christian Stangier. Speeding up symbolic model checking by accelerating dynamic variable reordering. In Majid Sarrafzadeh, Prithviraj Banerjee, Kaushik Roy, editors, Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000. pages 39-42, ACM, 2000. [doi]

This author has not been identified. Look up 'Christoph Meinel' in GoogleThis author has not been identified. Look up 'Christian Stangier' in Google

runs on WebDSL