Publication:
Tools and Algorithms for the Construction and Analysis of Systems

Simple item page
dc.contributor.author Jan Friso Groote, Kim Guldstrand Larsen (editors)
dc.date.accessioned 2023-06-14T03:48:59Z
dc.date.available 2023-06-14T03:48:59Z
dc.date.issued 2021
dc.description DOI: https://doi.org/10.1007/978-3-030-72016-2; License: CC BY; Publisher: Springer
dc.description.abstract This 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.identifier.doi https://doi.org/10.1007/978-3-030-72016-2
dc.identifier.isbn 9783030720162
dc.identifier.uri http://repository.vlu.edu.vn:443/handle/123456789/5181
dc.language.iso en
dc.subject Architecture verification and validation
dc.subject artificial intelligence
dc.subject automata theory
dc.subject computer networks
dc.subject embedded systems
dc.subject formal languages
dc.subject formal logic
dc.subject linguistics
dc.subject mathematics
dc.subject model checking
dc.subject model-checking
dc.subject SAT and SMT solving
dc.subject signal processing
dc.subject software and hardware verification
dc.subject software architecture
dc.subject software engineering
dc.subject specification and verification techniques
dc.subject static and dynamic program analysis
dc.subject system construction and transforamtion techniques
dc.subject theorem-proving
dc.title Tools and Algorithms for the Construction and Analysis of Systems
dc.type Resource Types::text::book
dspace.entity.type Publication
oairecerif.author.affiliation #PLACEHOLDER_PARENT_METADATA_VALUE#
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
OAB202.txt
Size:
0 B
Format:
Plain Text
Description:
Download
Collections
Open Access Books - Technology - 2021