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 III

dc.contributor.editorFinkbeiner, Bernd
dc.contributor.editorKovács, Laura
dc.date.accessioned2024-04-16T08:17:13Z
dc.date.available2024-04-16T08:17:13Z
dc.date.issued2024
dc.identifierONIX_20240416_9783031572562_18
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/89911
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.otheroncurrency
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 III
dc.typebook
oapen.identifier.doi10.1007/978-3-031-57256-2
oapen.relation.isPublishedBy6c6992af-b843-4f46-859c-f6e9998e40d5
oapen.relation.isFundedBy0b4856d5-f8d2-455f-b170-2752d142372c
oapen.relation.isbn9783031572562
oapen.relation.isbn9783031572555
oapen.imprintSpringer Nature Switzerland
oapen.series.number14572
oapen.pages428
oapen.place.publicationCham
oapen.grant.number[...]


Files in this item

Thumbnail
Name:
978-3-031-57256-2.pdf
Size:
11.78Mb
Format:
PDF
ISBN:
9783031572562
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