Hardware and Software: Verification and Testing
-15%
portes grátis
Hardware and Software: Verification and Testing
12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Bloem, Roderick; Arbel, Eli
Springer International Publishing AG
11/2016
211
Mole
Inglês
9783319490519
15 a 20 dias
3518
Descrição não disponível.
Practice in verification.- Practice in testing.- Future directions of testing and verification for hardware, software, and complex hybrid systems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal verification;model checking;program analysis;software verification;theorem proving;abstract data types;CFA;code transformation;fault localization;hardware reliability;hybrid models;SAT solving;shape analysis;simulation and emulation;software testing and debugging;spectrum based fault localization;test maintenance;test repair;test-suite evolution;timed models
Practice in verification.- Practice in testing.- Future directions of testing and verification for hardware, software, and complex hybrid systems.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
formal verification;model checking;program analysis;software verification;theorem proving;abstract data types;CFA;code transformation;fault localization;hardware reliability;hybrid models;SAT solving;shape analysis;simulation and emulation;software testing and debugging;spectrum based fault localization;test maintenance;test repair;test-suite evolution;timed models
