9. CHARME 1997: Montréal, Québec, Canada

Preface

Part One - Advanced Processor Verification

Part Two - Semantics of Hardware-Description Languages

Part Three - Model Checking

Part Four - Decision Graphs

Part Five - New Verification Techniques

Part Six - Issues in Formal Synthesis

Panel

a service of Schloss Dagstuhl - Leibniz Center for Informatics