BMC'06 |
Background
Largely due to the advances in SAT technology in the last few years and the development of SAT-based verification technology (rather than only falsification), Bounded Model Checking and its extensions have by now been adopted by most EDA companies interested in formal verification as the leading model checking technique. The large interest in this technology has created a constant stream of new ideas and improvements that make this technique more and more useful and appealing to the industry. In this workshop we hope to bring together all those people that are interested in this area to share their ideas and report their results. ScopeThe scope of the workshop includes all theoretical and practical aspects of Bounded Model Checking, including, but not limited to, using SAT technology for unbounded model checking, Combining BMC with other tools and techniques (such as BDDs), experimental results in industrial settings, bounded model checking of infinite systems, translation schemes, and SAT techniques for BMC. |