Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory...
Sparad:
| Huvudupphov: | , |
|---|---|
| Materialtyp: | Online |
| Språk: | engelska |
| Utgiven: |
Springer Nature
2021
|
| Ämnen: | |
| Länkar: | 27329 |
| Taggar: |
Inga taggar, Lägg till första taggen!
|
| _version_ | 1869521220262690816 |
|---|---|
| author | Dirk Beyer Marieke Huisman |
| author_browse | Dirk Beyer Marieke Huisman |
| author_facet | Dirk Beyer Marieke Huisman |
| author_sort | Dirk Beyer |
| collection | Directory of Open Access Books |
| description | The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP. |
| format | Online |
| id | doab-20.500.12854ir-60990 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2021 |
| publishDateRange | 2021 |
| publishDateSort | 2021 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-609902023-12-20T18:40:46Z Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II Dirk Beyer Marieke Huisman QA75.5-76.95 state space semantics programming languages program compilers specifications formal logic model checking multi core processors computer architecture formal methods software engineering computer software selection and evaluation model checker verification bic Book Industry Communication::U Computing & information technology::UY Computer science The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018. The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows: Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning. Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP. 2021-02-12T06:02:47Z 2021-02-12T06:02:47Z 2018-07-19 14:26:47 2018 book 27329 0 9783319899633 9783319899626 https://directory.doabooks.org/handle/20.500.12854/60990 eng Theoretical Computer Science and General Issues image/jpeg Attribution 4.0 International https://www.springer.com/us/book/9783319899626?wt_mc=ThirdParty.SpringerLink.3.EPR653.About_eBook#otherversion=9783319899633 https://link.springer.com/book/10.1007/978-3-319-89963-3 Springer Nature https://doi.org/10.1007/978-3-319-89963-3 https://doi.org/10.1007/978-3-319-89963-3 9fa3421d-f917-4153-b9ab-fc337c396b5a f5a6e2e8-e972-4749-980c-33c90a2eec09 9783319899633 9783319899626 465 ETAPS e.V. open access |
| spellingShingle | QA75.5-76.95 state space semantics programming languages program compilers specifications formal logic model checking multi core processors computer architecture formal methods software engineering computer software selection and evaluation model checker verification bic Book Industry Communication::U Computing & information technology::UY Computer science Dirk Beyer Marieke Huisman Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II |
| title | Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II |
| title_full | Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II |
| title_fullStr | Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II |
| title_full_unstemmed | Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II |
| title_short | Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II |
| title_sort | tools and algorithms for the construction and analysis of systems 24th international conference tacas 2018 held as part of the european joint conferences on theory and practice of software etaps 2018 thessaloniki greece april 14 20 2018 proceedings part ii |
| topic | QA75.5-76.95 state space semantics programming languages program compilers specifications formal logic model checking multi core processors computer architecture formal methods software engineering computer software selection and evaluation model checker verification bic Book Industry Communication::U Computing & information technology::UY Computer science |
| topic_facet | QA75.5-76.95 state space semantics programming languages program compilers specifications formal logic model checking multi core processors computer architecture formal methods software engineering computer software selection and evaluation model checker verification bic Book Industry Communication::U Computing & information technology::UY Computer science |
| url | 27329 |
| work_keys_str_mv | AT dirkbeyer toolsandalgorithmsfortheconstructionandanalysisofsystems24thinternationalconferencetacas2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedingspartii AT mariekehuisman toolsandalgorithmsfortheconstructionandanalysisofsystems24thinternationalconferencetacas2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedingspartii |