Show simple item record

Tools and Algorithms for the Construction and Analysis of Systems

27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I

dc.contributor.editorGroote, Jan Friso
dc.contributor.editorLarsen, Kim Guldstrand
dc.date.accessioned2025-03-07T16:01:51Z
dc.date.available2025-03-07T16:01:51Z
dc.date.issued2021
dc.date.submitted2021-04-20T12:47:38Z
dc.identifierONIX_20210420_9783030720162_16
dc.identifierOCN: 1244539366
dc.identifierhttps://library.oapen.org/handle/20.500.12657/48220
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/157415
dc.description.abstractThis open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Theoretical Computer Science and General Issues
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
dc.subject.otherTheory of Computation
dc.subject.otherComputer Systems Organization and Communication Networks
dc.subject.otherControl Structures and Microprogramming
dc.subject.otherLogic in AI
dc.subject.otherInformation Systems and Communication Service
dc.subject.otherComputer Engineering and Networks
dc.subject.otherarchitecture verification and validation
dc.subject.otherartificial intelligence
dc.subject.otherautomata theory
dc.subject.othercomputer networks
dc.subject.otherembedded systems
dc.subject.otherformal languages
dc.subject.otherformal logic
dc.subject.otherlinguistics
dc.subject.othermathematics
dc.subject.othermodel checking
dc.subject.othermodel-checking
dc.subject.otherSAT and SMT solving
dc.subject.othersignal processing
dc.subject.othersoftware and hardware verification
dc.subject.othersoftware architecture
dc.subject.othersoftware engineering
dc.subject.otherspecification and verification techniques
dc.subject.otherstatic and dynamic program analysis
dc.subject.othersystem construction and transforamtion techniques
dc.subject.othertheorem-proving
dc.subject.otherComputer science
dc.subject.otherMathematical theory of computation
dc.subject.otherComputer networking & communications
dc.subject.otherAlgorithms & data structures
dc.titleTools and Algorithms for the Construction and Analysis of Systems
dc.title.alternative27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part I
dc.typebook
oapen.identifier.doi10.1007/978-3-030-72016-2
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isFundedBy78d37288-5df6-4c27-88a4-b5d766b84435
oapen.relation.isbn9783030720162
oapen.imprintSpringer
oapen.pages471
oapen.grant.number[grantnumber unknown]
dc.relationisFundedBy78d37288-5df6-4c27-88a4-b5d766b84435
dc.seriesnumber12651


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access