Hardware and Software: Verification and Testing
-15%
portes grátis
Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Tzoref-Brill, Rachel; Strichman, Ofer
Springer International Publishing AG
11/2017
253
Mole
Inglês
9783319703886
15 a 20 dias
4219
Descrição não disponível.
Simulation-based verification.- Software and hardware equivalence checking.- Static analysis.- Model checking.- Hardware/software co-verification.- Validation of data-intensive solutions.- Coverage analysis and test minimization.- Testing of mobile and cloud applications.- Software artifacts review and inspection.- Security verification.- Machine learning techniques for verification.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Model checking;Coverage metrics;Equivalence checking;Semi-formal verification;Simulation and emulation;Transaction-level verification;Theorem proving and SAT solving;Assertion checking;Software testing and debugging;Formal software verification
Simulation-based verification.- Software and hardware equivalence checking.- Static analysis.- Model checking.- Hardware/software co-verification.- Validation of data-intensive solutions.- Coverage analysis and test minimization.- Testing of mobile and cloud applications.- Software artifacts review and inspection.- Security verification.- Machine learning techniques for verification.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
