Show simple item record

dc.contributor.editorGroote, Jan Friso
dc.contributor.editorLarsen, Kim Guldstrand
dc.date.issued2021
dc.date.submitted2021-04-20T12:47:36Z
dc.identifierONIX_20210420_9783030720131_15
dc.identifierhttps://library.oapen.org/handle/20.500.12657/48219
dc.identifier.urihttps://directory.doabooks.org/handle/20.500.12854/67936
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 scienceen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UT Computer networking and communicationsen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineeringen_US
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineeringen_US
dc.subject.otherTheory of Computation
dc.subject.otherComputer Systems Organization and Communication Networks
dc.subject.otherControl Structures and Microprogramming
dc.subject.otherSoftware Engineering
dc.subject.otherComputer Engineering and Networks
dc.subject.otherarchitecture verification and validation
dc.subject.otherautomata theory
dc.subject.othercomputer systems
dc.subject.otherdistributed computer systems
dc.subject.otherembedded systems
dc.subject.otherformal logic
dc.subject.othermathematics
dc.subject.othermodel checking
dc.subject.othermodel-checking
dc.subject.otherparallel processing systems
dc.subject.otherSAT and SMT solving
dc.subject.othersoftware architecture
dc.subject.otherstatic and dynamic program analysis
dc.subject.othertheorem-proving
dc.subject.otherverification and validation
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 II
dc.typebook
oapen.identifier.doi10.1007/978-3-030-72013-1
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isFundedBy78d37288-5df6-4c27-88a4-b5d766b84435
oapen.relation.isbn9783030720131
oapen.imprintSpringer
oapen.pages465
oapen.grant.number[grantnumber unknown]
dc.relationisFundedBy78d37288-5df6-4c27-88a4-b5d766b84435
dc.seriesnumber12652


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