Show simple item record

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 I

dc.contributor.editorFinkbeiner, Bernd
dc.contributor.editorKovács, Laura
dc.date.accessioned2024-04-16T08:17:03Z
dc.date.available2024-04-16T08:17:03Z
dc.date.issued2024
dc.identifierONIX_20240416_9783031572463_13
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/89906
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.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UK Computer hardware
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
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.otherconcurrency
dc.subject.othertesting
dc.subject.othersimulations
dc.subject.otherverification of machine
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 I
dc.typebook
oapen.identifier.doi10.1007/978-3-031-57246-3
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy0b4856d5-f8d2-455f-b170-2752d142372c
oapen.relation.isbn9783031572463
oapen.relation.isbn9783031572456
oapen.imprintSpringer Nature Switzerland
oapen.series.number14570
oapen.pages394
oapen.place.publicationCham
oapen.grant.number[...]


Files in this item

Thumbnail
Name:
978-3-031-57246-3.pdf
Size:
10.99Mb
Format:
PDF
ISBN:
9783031572463
License:
http://creativecommons.org/lic ...
Webshop link:
https://link.springer.com/978- ...
View/Open

This item appears in the following Collection(s)

Show simple item record