LEADER 03345nam  22006855  450 
001 996594169303316
005 20240426020335.0
010   $a3-031-57249-1
024 7 $a10.1007/978-3-031-57249-4
035   $a(CKB)31435563400041
035   $a(MiAaPQ)EBC31281878
035   $a(Au-PeEL)EBL31281878
035   $a(DE-He213)978-3-031-57249-4
035   $a(OCoLC)1429286857
035   $a(EXLCZ)9931435563400041
100   $a20240404d2024      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aTools and Algorithms for the Construction and Analysis of Systems $e30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part II /$fedited by Bernd Finkbeiner, Laura Kovács
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (399 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14571
311   $a3-031-57248-3 
327   $aModel Checking -- automata and learning -- software verification -- probabilistic systems -- simulations.
330   $aThe 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. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14571
606   $aComputer science
606   $aMicroprogramming
606   $aComputer networks
606   $aComputer simulation
606   $aSoftware engineering
606   $aTheory of Computation
606   $aControl Structures and Microprogramming
606   $aComputer Communication Networks
606   $aComputer Modelling
606   $aSoftware Engineering
615  0$aComputer science.
615  0$aMicroprogramming.
615  0$aComputer networks.
615  0$aComputer simulation.
615  0$aSoftware engineering.
615 14$aTheory of Computation.
615 24$aControl Structures and Microprogramming.
615 24$aComputer Communication Networks.
615 24$aComputer Modelling.
615 24$aSoftware Engineering.
676   $a40,151
700   $aFinkbeiner$b Bernd$01736354
701   $aKovács$b Laura$01250003
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996594169303316
996   $aTools and Algorithms for the Construction and Analysis of Systems$94156203
997   $aUNISA