EAN: 9783030720155

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND A...

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.

Aktuelle Preise zur EAN 9783030720155

Produktinformationen zur 9783030720155