EAN: 9783031572456

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND A...

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th
International Conference on Tools and Algorithms for the Construction and Analysis of Systems 
TACAS 2024  which was held as part of the European Joint Conferences on Theory and Practice of
Software  ETAPS 2024  during April 6-11  2024  in Luxembourg.The 53 full papers and 16 short
SVComp contributions included in these proceedings were carefully reviewed and selected from
159 submissions. They were organized in topical sections as follows:Part I: STA and SMT solving
synthesis  logic and decidability  program analysis and proofs  proof checking  Part II: Model
Checking  automata and learning  software verification  probabilistic systems  simulations 
Part III: Neural networks  testing and verification  games  concurrency  SV-Comp 2024.

Aktuelle Preise zur EAN 9783031572456

Produktinformationen zur 9783031572456