Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12651)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
- TACAS: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Conference proceedings info: TACAS 2021.
Buy print copy
Tax calculation will be finalised at checkout
Table of contents (24 papers)
-
Front Matter
-
SMT Verification
-
Front Matter
-
-
Probabilities
-
Front Matter
-
-
Timed Systems
-
Front Matter
-
Other volumes
-
Tools and Algorithms for the Construction and Analysis of Systems
-
Tools and Algorithms for the Construction and Analysis of Systems
Keywords
- architecture verification and validation
- artificial intelligence
- automata theory
- computer networks
- embedded systems
- formal languages
- formal logic
- linguistics
- mathematics
- model checking
- model-checking
- SAT and SMT solving
- signal processing
- software and hardware verification
- software architecture
- software engineering
- specification and verification techniques
- static and dynamic program analysis
- system construction and transforamtion techniques
- theorem-proving
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle: 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
Editors: Jan Friso Groote, Kim Guldstrand Larsen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-72016-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2021
Softcover ISBN: 978-3-030-72015-5Published: 20 March 2021
eBook ISBN: 978-3-030-72016-2Published: 19 March 2021
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXI, 471
Number of Illustrations: 106 b/w illustrations
Topics: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Logic in AI, Information Systems and Communication Service
