Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference

Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference Front Cover
0 Reviews
2019-06-06
433 pages

Book Description

This book is Open under a CC BY licence.

The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the and Analysis of , TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of , ETAPS 2019.

The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows:

Part I: and SMT, solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning.

Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and and fault-tolerant systems.

Book Details

  • Title: Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference
  • Author:
  • Length: 433 pages
  • Edition: 1st ed. 2019
  • Language: English
  • Publisher:
  • Publication Date: 2019-06-06
  • ISBN-10: 3030174611
  • ISBN-13: 9783030174613
Download LinkFormatSize (MB)Upload Date
Direct download (Recommended!)True PDF, EPUB37.105/01/2019
Download from NitroFlareTrue PDF, EPUB37.104/07/2019
Download from UsersCloudTrue PDF, EPUB37.104/07/2019
How to Download? Report Dead Links & Get a Copy

Leave a Reply