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

Tools and Algorithms for the Construction and Analysis of Systems

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

Axel Legay & Tiziana Margaria
    • £35.99
    • £35.99

Publisher Description

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.
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. 

GENRE
Computing & Internet
RELEASED
2017
30 March
LANGUAGE
EN
English
LENGTH
633
Pages
PUBLISHER
Springer Berlin Heidelberg
SIZE
15.7
MB

More Books Like This

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2016
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2017
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2015
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2016
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2018
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2015

More Books by Axel Legay & Tiziana Margaria

Model Checking Software Model Checking Software
Model Checking Software
2019
Risks and Security of Internet and Systems Risks and Security of Internet and Systems
Risks and Security of Internet and Systems
2018
Models, Algorithms, Logics and Tools Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
2017
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
2017
Risks and Security of Internet and Systems Risks and Security of Internet and Systems
Risks and Security of Internet and Systems
2017
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
2016