LEADER 03339nam  22006615  450 
001 9911001786203321
005 20250808153557.0
010   $a3-031-90653-5
024 7 $a10.1007/978-3-031-90653-4
035   $a(CKB)38696394000041
035   $a(DE-He213)978-3-031-90653-4
035   $a(MiAaPQ)EBC32077042
035   $a(Au-PeEL)EBL32077042
035   $a(EXLCZ)9938696394000041
100   $a20250501d2025      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 $e31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3?8, 2025, Proceedings, Part II /$fedited by Arie Gurfinkel, Marijn Heule
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (XX, 387 p. 106 illus., 87 illus. in color.)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v15697
311 08$a3-031-90652-7 
330   $aThe open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as follows: Part I: Program analysis, ATP and rewriting; model checking; LTL; verification; Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games; Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v15697
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   $a004.0151
702   $aGurfinkel$b Arie$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHeule$b Marijn$f1979-$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911001786203321
996   $aTools and Algorithms for the Construction and Analysis of Systems$9772021
997   $aUNINA