Hardware and Software: Verification and Testing
Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Karen Yorav
Themen in »Hardware and Software: Verification and Testing«
SAT-based verification algorithms algorithms automata classification of hardware bugs concurrency tes design for verifiability equivalence checking formal verification formal verification methods high-level stimuli generation model checking semantics simulation-based verification static analysis verification
Stimmen zu »Hardware and Software: Verification and Testing«
Details
ISBN: 9783540779667
Verlag: Springer Berlin
Erscheinung: 02.02.2008