EAN: 9783030174613

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND A...

This book is Open Access 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 Construction and Analysis of Systems  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 Software  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: SAT and SMT  SAT 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 safety and fault-tolerant systems.

Aktuelle Preise zur EAN 9783030174613

Produktinformationen zur 9783030174613