Hardware and Software: Verification and Testing [[electronic resource] ] : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / / edited by Armin Biere, Amir Nahir, Tanja Vos |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 281 p. 75 illus.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Artificial intelligence Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-642-39611-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On Behavioral Programming -- Verifying Real-Time Software Is Not Reasonable: Abstract of Invited Talk -- SMT in Verification, Modeling, and Testing at Microsoft -- Reducing Costs While Increasing Quality -- Special Session on Security Verification -- Circuit Primitives for Monitoring Information Flow and Enabling Redundancy -- Formal Analysis of Security Data Paths in RTL Design -- Precise Detection of Atomicity Violations -- Proving Mutual Termination of Programs -- Knowledge Based Transactional Behavior -- Repair with On-The-Fly Program Analysis -- Computing Interpolants without Proofs -- MaxSAT-Based MCS Enumeration -- Automated Reencoding of Boolean Formulas. |
Record Nr. | UNISA-996465985003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers / / edited by Armin Biere, Amir Nahir, Tanja Vos |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XII, 281 p. 75 illus.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Artificial intelligence Mathematical logic Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-642-39611-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On Behavioral Programming -- Verifying Real-Time Software Is Not Reasonable: Abstract of Invited Talk -- SMT in Verification, Modeling, and Testing at Microsoft -- Reducing Costs While Increasing Quality -- Special Session on Security Verification -- Circuit Primitives for Monitoring Information Flow and Enabling Redundancy -- Formal Analysis of Security Data Paths in RTL Design -- Precise Detection of Atomicity Violations -- Proving Mutual Termination of Programs -- Knowledge Based Transactional Behavior -- Repair with On-The-Fly Program Analysis -- Computing Interpolants without Proofs -- MaxSAT-Based MCS Enumeration -- Automated Reencoding of Boolean Formulas. |
Record Nr. | UNINA-9910483710003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hardware and Software: Verification and Testing [[electronic resource] ] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / / edited by Kerstin Eder, João Lourenҫo, Onn Shehory |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (XII, 263 p. 95 illus.) |
Disciplina | 005.14 |
Collana | Programming and Software Engineering |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Artificial Intelligence |
Soggetto genere / forma | Conference proceedings. |
ISBN | 3-642-34188-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Preprocessing and Inprocessing Techniques in SAT -- Pioneering the Future of Verification: A Spiral of Technological and Business Innovation -- Automated Detection and Repair of Concurrency Bugs -- Verification Challenges of Workload Optimized Hardware Systems -- Synthesis with Clairvoyance -- Generalized Reactivity(1) Synthesis without a Monolithic Strategy -- IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata -- Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative Simultaneous Satisfiability and Applications -- Liveness vs Safety – A Practical Viewpoint -- Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search -- SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking -- Can File Level Characteristics Help Identify System Level Fault-Proneness -- Reverse Coverage Analysis -- Symbolic Testing of OpenCL Code -- Dynamic Test Data Generation for Data Intensive Applications -- Injecting Floating-Point Testing Knowledge into Test Generators -- Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE -- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware -- On-Line Detection and Prediction of Temporal Patterns -- Function Summaries in Software Upgrade Checking -- The Rabin Index of Parity Games -- Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing. -- ioneering the Future of Verification: A Spiral of Technological and Business Innovation -- Automated Detection and Repair of Concurrency Bugs -- Verification Challenges of Workload Optimized Hardware Systems -- Synthesis with Clairvoyance -- Generalized Reactivity(1) Synthesis without a Monolithic Strategy -- IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata -- Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads.Implicative Simultaneous Satisfiability and Applications -- Liveness vs Safety – A Practical Viewpoint -- Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search -- SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs -- Concurrent Small Progress Measures -- Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns -- Interpolation-Based Function Summaries in Bounded Model Checking -- Can File Level Characteristics Help Identify System Level Fault-Proneness -- Reverse Coverage Analysis -- Symbolic Testing of OpenCL Code -- Dynamic Test Data Generation for Data Intensive Applications -- Injecting Floating-Point Testing Knowledge into Test Generators -- Combining Theorem Proving and Symbolic Trajectory Evaluation in THM&STE -- HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware -- On-Line Detection and Prediction of Temporal Patterns -- Function Summaries in Software Upgrade Checking -- The Rabin Index of Parity Games -- Using Computational Biology Methods to Improve Post-silicon Microprocessor Testing. |
Record Nr. | UNISA-996465300703316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
High-Level Design, Validation and Test Workshop (HLDVT 2001): Proceedings of the 6th IEEE International Conference |
Pubbl/distr/stampa | [Place of publication not identified], : I E E E Imprint, 2001 |
Descrizione fisica | 1 online resource (x, 182 pages) : illustrations |
Disciplina | 005.14 |
Soggetto topico | Computer software - Verification |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996201368403316 |
[Place of publication not identified], : I E E E Imprint, 2001 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
High-Level Design, Validation and Test Workshop (HLDVT 2001): Proceedings of the 6th IEEE International Conference |
Pubbl/distr/stampa | [Place of publication not identified], : I E E E Imprint, 2001 |
Descrizione fisica | 1 online resource (x, 182 pages) : illustrations |
Disciplina | 005.14 |
Soggetto topico | Computer software - Verification |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910872742403321 |
[Place of publication not identified], : I E E E Imprint, 2001 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
ICSTW 2009 : IEEE International Conference on Software Testing, Verification, and Validation Workshops : April 1-4, 2009, Denver, Colorado, USA / / sponsored by IEEE Computer Society [and four others] |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2009 |
Descrizione fisica | 1 online resource (ix, 312 pages) |
Disciplina | 005.14 |
Soggetto topico |
Computer software - Verification
Computer software - Testing Computer software - Validation |
ISBN | 1-5090-7565-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996212396503316 |
Los Alamitos, California : , : IEEE Computer Society, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
ICSTW 2009 : IEEE International Conference on Software Testing, Verification, and Validation Workshops : April 1-4, 2009, Denver, Colorado, USA / / sponsored by IEEE Computer Society [and four others] |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2009 |
Descrizione fisica | 1 online resource (ix, 312 pages) |
Disciplina | 005.14 |
Soggetto topico |
Computer software - Verification
Computer software - Testing Computer software - Validation |
ISBN | 1-5090-7565-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910138934203321 |
Los Alamitos, California : , : IEEE Computer Society, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
ICSTW 2018 : 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops : proceedings : 9-13 April 2018, Västerås, Sweden / / IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2018 |
Descrizione fisica | 1 online resource (408 pages) |
Disciplina | 005.14 |
Soggetto topico |
Computer software - Testing
Computer software - Validation |
ISBN | 1-5386-6352-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996279589003316 |
Los Alamitos, California : , : IEEE Computer Society, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
ICSTW 2018 : 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops : proceedings : 9-13 April 2018, Västerås, Sweden / / IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2018 |
Descrizione fisica | 1 online resource (408 pages) |
Disciplina | 005.14 |
Soggetto topico |
Computer software - Testing
Computer software - Validation |
ISBN | 1-5386-6352-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910282257503321 |
Los Alamitos, California : , : IEEE Computer Society, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
ICSTW 2019 : 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops : proceedings : 22-27 April 2019, Xi'an, China / / IEEE Computer Society |
Pubbl/distr/stampa | Los Alamitos, California : , : IEEE Computer Society, , 2019 |
Descrizione fisica | 1 online resource (311 pages) |
Disciplina | 005.14 |
Soggetto topico |
Computer software - Testing
Computer software - Validation |
ISBN | 1-7281-0888-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910326258703321 |
Los Alamitos, California : , : IEEE Computer Society, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|