Tools and Algorithms for the Construction and Analysis of Systems

丛 书 名：Lecture Notes in Computer Science

版本说明：1

作     者：Bernd Finkbeiner Laura Kovács 

I S B N：(纸本) 9783031572555 

出 版 社：Springer Cham 

出 版 年：1000年

页      数：XXII, 428页

主 题 词：Theory of Computation Control Structures and Microprogramming Computer Communication Networks Simulation and Modeling Software Engineering/Programming and Operating Systems 

摘      要：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.