Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
High-Level Design, Validation and Test Workshop (HLDVT 2001): Proceedings of the 6th IEEE International Conference
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
High-Level Design, Validation and Test Workshop (HLDVT 2001): Proceedings of the 6th IEEE International Conference
| 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 | ||
| Materiale a stampa | ||
| 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]
| 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 | ||
| Materiale a stampa | ||
| 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]
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
