Afficher la notice abrégée

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III

dc.contributor.editorFinkbeiner, Bernd
dc.contributor.editorKovács, Laura
dc.date.accessioned2024-05-12T05:07:43Z
dc.date.available2024-05-12T05:07:43Z
dc.date.issued2024
dc.date.submitted2024-04-16T08:17:13Z
dc.identifierONIX_20240416_9783031572562_18
dc.identifierOCN: 1429305811
dc.identifierhttps://library.oapen.org/handle/20.500.12657/89911
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/137106
dc.description.abstractThe open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computationen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UK Computer hardwareen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardwareen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulationen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineeringen_US
dc.subject.otherTACAS
dc.subject.otherformal verification
dc.subject.othersoftware systems
dc.subject.otherhardware systems
dc.subject.otherstatic analysis
dc.subject.otherprobabilistic programming
dc.subject.otherprogram synthesis
dc.subject.otheroncurrency
dc.subject.othertesting
dc.subject.othersimulations
dc.subject.otherverification of machine
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UK Computer hardware
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
dc.subject.otherthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
dc.titleTools and Algorithms for the Construction and Analysis of Systems
dc.title.alternative30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III
dc.typebook
oapen.identifier.doi10.1007/978-3-031-57256-2
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isFundedBy0b4856d5-f8d2-455f-b170-2752d142372c
oapen.relation.isbn9783031572562
oapen.relation.isbn9783031572555
oapen.imprintSpringer Nature Switzerland
oapen.pages428
oapen.place.publicationCham
oapen.grant.number[...]
dc.relationisFundedBy0b4856d5-f8d2-455f-b170-2752d142372c
dc.seriesnumber14572


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

open access
Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access