Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10205)
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 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (34 papers)
-
Invited Talk
-
Verification Techniques I
-
Verification Techniques II
-
Synthesis I
Other volumes
-
Tools and Algorithms for the Construction and Analysis of Systems
-
Tools and Algorithms for the Construction and Analysis of Systems
Keywords
- temporal logic
- artificial intelligence
- computer programming languages
- computer software selection and evaluation
- distributed computer systems
- formal logic
- model checking
- Markov decision processes
- program compilers
- semantics
- software engineering
- specifications
- static analysis
- temporal logic
- verification
- algorithm analysis and problem complexity
About this book
The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.
Editors and Affiliations
Bibliographic Information
Book Title: Tools and Algorithms for the Construction and Analysis of Systems
Book Subtitle: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Editors: Axel Legay, Tiziana Margaria
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-54577-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Germany 2017
Softcover ISBN: 978-3-662-54576-8Published: 31 March 2017
eBook ISBN: 978-3-662-54577-5Published: 30 March 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XXIV, 609
Number of Illustrations: 152 b/w illustrations
Topics: Logics and Meanings of Programs, Algorithm Analysis and Problem Complexity, Software Engineering, Computation by Abstract Devices, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages