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.
Deductive software verification : future perspectives : reflections on the occasion of 20 years of KeY / / Wolfgang Ahrendt [and four others] (editors)
| Deductive software verification : future perspectives : reflections on the occasion of 20 years of KeY / / Wolfgang Ahrendt [and four others] (editors) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XII, 339 p. 93 illus., 39 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Computer software - Verification |
| ISBN | 3-030-64354-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | History -- A Short History of KeY -- Verification Tools -- A Retrospective on Developing Hybrid System Provers in the KeYmaera Family – A Tale of Three Provers -- Improving Performance of the VerCors Program Verifier -- Contracts -- Behavioral Contracts for Cooperative Scheduling -- Using Abstract Contracts for Verifying Evolving Features and Their Interactions -- Constraint-based Contract Inference for Deductive Verification -- From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java -- Feasibility and Usability -- A Tutorial on Verifying LinkedList Using KeY -- The VerifyThis Collaborative Long Term Challenge -- Usability Recommendations for User Guidance in Deductive Program Verification -- Integration of Verification Techniques -- Integration of Static and Dynamic Analysis Techniques for Checking Noninterference -- SymPaths: Symbolic Execution Meets Partial Order Reduction. |
| Record Nr. | UNINA-9910447250003321 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Deductive software verification : future perspectives : reflections on the occasion of 20 years of KeY / / Wolfgang Ahrendt [and four others] (editors)
| Deductive software verification : future perspectives : reflections on the occasion of 20 years of KeY / / Wolfgang Ahrendt [and four others] (editors) |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2020] |
| Descrizione fisica | 1 online resource (XII, 339 p. 93 illus., 39 illus. in color.) |
| Disciplina | 005.14 |
| Collana | Lecture notes in computer science |
| Soggetto topico | Computer software - Verification |
| ISBN | 3-030-64354-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | History -- A Short History of KeY -- Verification Tools -- A Retrospective on Developing Hybrid System Provers in the KeYmaera Family – A Tale of Three Provers -- Improving Performance of the VerCors Program Verifier -- Contracts -- Behavioral Contracts for Cooperative Scheduling -- Using Abstract Contracts for Verifying Evolving Features and Their Interactions -- Constraint-based Contract Inference for Deductive Verification -- From Explicit to Implicit Dynamic Frames in Concurrent Reasoning for Java -- Feasibility and Usability -- A Tutorial on Verifying LinkedList Using KeY -- The VerifyThis Collaborative Long Term Challenge -- Usability Recommendations for User Guidance in Deductive Program Verification -- Integration of Verification Techniques -- Integration of Static and Dynamic Analysis Techniques for Checking Noninterference -- SymPaths: Symbolic Execution Meets Partial Order Reduction. |
| Record Nr. | UNISA-996418222603316 |
| Cham, Switzerland : , : Springer, , [2020] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Deductive Software Verification – The KeY Book [[electronic resource] ] : From Theory to Practice / / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
| Deductive Software Verification – The KeY Book [[electronic resource] ] : From Theory to Practice / / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 702 p. 110 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Mathematical logic Programming languages (Electronic computers) Artificial intelligence Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Artificial Intelligence |
| ISBN | 3-319-49812-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations -- Specification and Verification -- From Verification to Analysis -- The KeY System in Action -- Case Studies. |
| Record Nr. | UNISA-996465509803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Deductive Software Verification – The KeY Book : From Theory to Practice / / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
| Deductive Software Verification – The KeY Book : From Theory to Practice / / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XXXII, 702 p. 110 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Logic, Symbolic and mathematical Programming languages (Electronic computers) Artificial intelligence Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Artificial Intelligence |
| ISBN | 3-319-49812-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Foundations -- Specification and Verification -- From Verification to Analysis -- The KeY System in Action -- Case Studies. |
| Record Nr. | UNINA-9910483880903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Integrated Formal Methods [[electronic resource] ] : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
| Integrated Formal Methods [[electronic resource] ] : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVII, 554 p. 1489 illus., 92 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computers Artificial intelligence Computer logic Computer simulation Computer organization Software Engineering Programming Languages, Compilers, Interpreters Theory of Computation Logic in AI Simulation and Modeling Computer Systems Organization and Communication Networks |
| ISBN | 3-030-34968-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466572603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
| Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings / / edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVII, 554 p. 1489 illus., 92 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computers Artificial intelligence Computer logic Computer simulation Computer organization Software Engineering Programming Languages, Compilers, Interpreters Theory of Computation Logic in AI Simulation and Modeling Computer Systems Organization and Communication Networks |
| ISBN | 3-030-34968-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910357847603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday / / Wolfgang Ahrendt [and three others], editors
| The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday / / Wolfgang Ahrendt [and three others], editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (531 pages) |
| Disciplina | 005.1015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Computer logic - Study and teaching |
| ISBN | 3-031-08166-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910580133903321 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday / / Wolfgang Ahrendt [and three others], editors
| The logic of software : a tasting menu of formal methods : essays dedicated to Reiner Hahnle on the occasion of his 60th birthday / / Wolfgang Ahrendt [and three others], editors |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
| Descrizione fisica | 1 online resource (531 pages) |
| Disciplina | 005.1015113 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer logic
Computer logic - Study and teaching |
| ISBN | 3-031-08166-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996483165003316 |
| Cham, Switzerland : , : Springer, , [2022] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and Proofs [[electronic resource] ] : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / / edited by Wolfgang Ahrendt, Heike Wehrheim
| Tests and Proofs [[electronic resource] ] : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / / edited by Wolfgang Ahrendt, Heike Wehrheim |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xiii, 181 pages) : illustrations |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Architecture, Computer Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence |
| ISBN | 3-030-50995-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. |
| Record Nr. | UNISA-996418285403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / / edited by Wolfgang Ahrendt, Heike Wehrheim
| Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings / / edited by Wolfgang Ahrendt, Heike Wehrheim |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (xiii, 181 pages) : illustrations |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Architecture, Computer Artificial intelligence Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Computer System Implementation Artificial Intelligence |
| ISBN | 3-030-50995-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning -- Mutation Testing of Smart Contracts at Scale -- Deductive Binary Code Verification Against Source-Code-Level Specifications -- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries -- SAT Modulo Differential Equation Simulations -- Verified Runtime Assertion Checking for Memory Properties -- Testing for Race Conditions in Distributed Systems via SMT Solving -- SASA: a SimulAtor of Self-stabilizing Algorithms -- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems -- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games. |
| Record Nr. | UNINA-9910410053403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||