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.
Computer Aided Verification [[electronic resource] ] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / / edited by Hana Chockler, Georg Weissenbacher
| Computer Aided Verification [[electronic resource] ] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / / edited by Hana Chockler, Georg Weissenbacher |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XX, 545 p. 106 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Machine theory Algorithms Computer simulation Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Formal Languages and Automata Theory Computer Modelling |
| ISBN | 3-319-96142-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466443703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Verification [[electronic resource] ] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / / edited by Hana Chockler, Georg Weissenbacher
| Computer Aided Verification [[electronic resource] ] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / / edited by Hana Chockler, Georg Weissenbacher |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 703 p. 146 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Machine theory Algorithms Computer simulation Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Formal Languages and Automata Theory Computer Modelling |
| ISBN | 3-319-96145-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466443303316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / / edited by Hana Chockler, Georg Weissenbacher
| Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / / edited by Hana Chockler, Georg Weissenbacher |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIX, 703 p. 146 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Machine theory Algorithms Computer simulation Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Formal Languages and Automata Theory Computer Modelling |
| ISBN |
9783319961453
3319961454 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349421703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / / edited by Hana Chockler, Georg Weissenbacher
| Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / / edited by Hana Chockler, Georg Weissenbacher |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XX, 545 p. 106 illus.) |
| Disciplina | 005.1015113 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Machine theory Algorithms Computer simulation Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Formal Languages and Automata Theory Computer Modelling |
| ISBN |
9783319961422
331996142X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349421803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hardware and Software: Verification and Testing [[electronic resource] ] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers / / edited by Hana Chockler, Alan J. Hu
| Hardware and Software: Verification and Testing [[electronic resource] ] : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers / / edited by Hana Chockler, Alan J. Hu |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 215 p.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters |
| ISBN | 3-642-01702-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section 1: Invited Talks -- Hazards of Verification -- Automata-Theoretic Model Checking Revisited -- Proofs, Interpolants, and Relevance Heuristics -- Is Verification Getting Too Complex? -- Can Mutation Analysis Help Fix Our Broken Coverage Metrics? -- Practical Considerations Concerning HL-to -RT Equivalence Checking -- Section 2: Regular Papers -- A Framework for Inherent Vacuity -- A Meta Heuristic for Effectively Detecting Concurrency Errors -- A Uniform Approach to Three-Valued Semantics for ?-Calculus on Abstractions of Hybrid Automata -- Automatic Boosting of Cross-Product Coverage Using Bayesian Networks -- Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( ) -- Evaluating Workloads Using Comparative Functional Coverage -- Iterative Delta Debugging -- Linear-Time Reductions of Resolution Proofs -- Significant Diagnostic Counterexamples in Probabilistic Model Checking -- Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order ????? Modulator -- Structural Contradictions -- Synthesizing Test Models from Test Cases -- Section 3: Tool Papers -- d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework -- Progress in Automated Software Defect Prediction -- SeeCode – A Code Review Plug-in for Eclipse -- User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE. |
| Record Nr. | UNISA-996466029203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings / / Hana Chockler, Alan J. Hu (eds.)
| Hardware and software: verification and testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings / / Hana Chockler, Alan J. Hu (eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XII, 215 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) |
ChocklerHana
HuAlan J (Alan John) |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Computer programs - Verification
Computer input-output equipment Computer software - Verification |
| ISBN | 3-642-01702-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Section 1: Invited Talks -- Hazards of Verification -- Automata-Theoretic Model Checking Revisited -- Proofs, Interpolants, and Relevance Heuristics -- Is Verification Getting Too Complex? -- Can Mutation Analysis Help Fix Our Broken Coverage Metrics? -- Practical Considerations Concerning HL-to -RT Equivalence Checking -- Section 2: Regular Papers -- A Framework for Inherent Vacuity -- A Meta Heuristic for Effectively Detecting Concurrency Errors -- A Uniform Approach to Three-Valued Semantics for ?-Calculus on Abstractions of Hybrid Automata -- Automatic Boosting of Cross-Product Coverage Using Bayesian Networks -- Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( ) -- Evaluating Workloads Using Comparative Functional Coverage -- Iterative Delta Debugging -- Linear-Time Reductions of Resolution Proofs -- Significant Diagnostic Counterexamples in Probabilistic Model Checking -- Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order ????? Modulator -- Structural Contradictions -- Synthesizing Test Models from Test Cases -- Section 3: Tool Papers -- d-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed Framework -- Progress in Automated Software Defect Prediction -- SeeCode – A Code Review Plug-in for Eclipse -- User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE. |
| Altri titoli varianti | HVC 2008 |
| Record Nr. | UNINA-9910483039503321 |
| Berlin, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Validation of Evolving Software / / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina
| Validation of Evolving Software / / edited by Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (216 p.) |
| Disciplina | 004 |
| Soggetto topico |
Software engineering
Computer science Software Engineering Computer Science Logic and Foundations of Programming |
| ISBN | 3-319-10623-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- Challenges of Existing Technology -- Static Analysis -- Dynamic Analysis -- Hybrid Analysis -- Quality of Validation. |
| Record Nr. | UNINA-9910299253603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||