Tools and Algorithms for the Construction and Analysis of Systems
This book is Open Access under a CC BY licence.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...
| Autores principales: | , |
|---|---|
| Formato: | Libro |
| Publicado: |
Springer International Publishing
2018
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=nlebk&AN=3735126&site=ehost-live header: @attributes: shortDbName: nlebk uiTerm: 3735126 longDbName: eBook Collection (EBSCOhost) uiTag: AN controlInfo: bkinfo: btl: Tools and Algorithms for the Construction and Analysis of Systems aug: au: Dirk Beyer Marieke Huisman sertl: Lecture Notes in Computer Science isbn: 9783319899626 9783319899633 imageinfo: pubinfo: dt: @attributes: year: 2018 month: 01 day: 01 dtAvail: @attributes: year: 2023 month: 11 day: 29 vid: 10806 pub: Springer International Publishing pubContract: Springer Nature place: Cham price: 0.01 limitsGroup: maxCheckoutDays: 1500 copyPages: 10 pda: N printPagesOffline: 10 printPagesOnline: 10 previewPages: 0 prePubGroup: dewey: @attributes: class: 005.1015113 item: 005 .1015113 lc: @attributes: class: QA76.63 item: QA 76 .63 artinfo: ui: 3735126 1034544889 formats: fmt: – @attributes: type: EB doid: NL$3735126$PDF caption: PDF download: Y – @attributes: type: EK doid: NL$3735126$EPUB caption: EPUB download: Y tig: atl: Tools and Algorithms for the Construction and Analysis of Systems ptl: Tools and Algorithms for the Construction and Analysis of Systems aug: au: Dirk Beyer Marieke Huisman su: Software engineering Computer logic Computer science Computer organization Computers sug: subj: COMPUTERS / Computer Science COMPUTERS / General COMPUTERS / Artificial Intelligence / General COMPUTERS / Software Development & Engineering / General COMPUTERS / Hardware / General Software engineering Computer logic Computer science Computer organization Computers ab: This book is Open Access under a CC BY licence.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. pubtype: eBook doctype: Book ougenre: Book language: English copyright: @attributes: flag: N copyrightText: holdings: @attributes: islocal: N |
|---|