Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Florian Pigorsch, Christoph Scholl, Stefan Disch. Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 135-144, Fraunhofer Institut für Integrierte Schaltungen, 2006.

The following publications are possibly variants of this publication:

Advanced Unbounded Model Checking Based on AIGs, BDD Sweeping, And Quantifier SchedulingFlorian Pigorsch, Christoph Scholl, Stefan Disch. FMCAD 2006: 89-96 [doi]

runs on WebDSL