Explore
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
TACAS 2019 was the 25th edition of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems conference series. TACAS 2019 was part of the 22nd European Joint Conferences on Theory and Practice of Software (ETAPS 2019). The conference was held at the Orea Hotel Pyramida in Prague, Czech Republic, during April 8–11, 2019. Conference Description. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building systems. TACAS 2019 solicited four types of submissions: – Research papers, identifying and justifying a principled advance to the theoretical foundations for the construction and analysis of systems, where applicable supported by experimental validation. – Case-study papers, reporting on case studies and providing information about the system being studied, the goals of the study, the challenges the system poses to automated analysis, research methodologies and approaches used, the degree to which goals were attained, and how the results can be generalized to other problems and domains. – Regular tool papers, presenting a new tool, a new tool component, or novel extensions to an existing tool, with an emphasis on design and implementation concerns, including software architecture and core data structures, practical applicability, and experimental evaluations. – Tool-demonstration papers (short), focusing on the usage aspects of tools
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
lainon
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
- 80 - pdf (None) at Google Books.
- 93 - pdf (CC BY) at OAPEN Library.
- 374 - mobi (CC BY) at Unglue.it.
- 268 - pdf (CC BY) at Unglue.it.
- 385 - epub (CC BY) at Unglue.it.
Keywords
- artificial intelligence
- Computer logic
- Computer programming / software development
- Computer science
- Computer system failures
- Computers
- Computing & information technology
- debugging
- formal logic
- formal methods
- Information technology: general issues
- Mathematical logic
- Mathematical theory of computation
- Model Checking
- parallel processing systems
- program debugging
- Programming languages
- satisfiability
- Semantics
- Software engineering
- software evaluation
- specifications
- Systems analysis & design
- thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
- Verification
Links
DOI: 10.1007/978-3-030-17462-0web: https://link.springer.com/book/10.1007/978-3-030-17462-0
Editions
