Book Details

978-3-540-70889-6

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