Hardware and Software, Verification and Testing
Publication year: 2007
ISBN: 978-3-540-70889-6
Internet Resource: Please Login to download book
The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23–26, 2006. The verification conference was a three-day, single-track conference followed by a one-day tutorial on PSL.
Subject: Computer Science, Erfüllbarkeitsproblem der Aussagenlogik, Open Source, Unified Modeling Language (UML), algorithm, algorithmic debugging, algorithms, automata, benchmarking, concurrent debugging, design, formal methods, functional verification, model-based testing, modeling, pro
