LEADER 03275nam  22007215  450 
001 9910754097303321
005 20231018060252.0
010   $a3-031-45332-8
024 7 $a10.1007/978-3-031-45332-8
035   $a(MiAaPQ)EBC30795593
035   $a(Au-PeEL)EBL30795593
035   $a(DE-He213)978-3-031-45332-8
035   $a(PPN)272913820
035   $a(CKB)28527630700041
035   $a(EXLCZ)9928527630700041
100   $a20231018d2023      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated Technology for Verification and Analysis $e21st International Symposium, ATVA 2023, Singapore, October 24?27, 2023, Proceedings, Part II /$fedited by Étienne André, Jun Sun
205   $a1st ed. 2023.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023.
215   $a1 online resource (339 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14216
311 08$aPrint version: André, Étienne Automated Technology for Verification and Analysis Cham : Springer International Publishing AG,c2023 9783031453311 
320   $aIncludes bibliographical references and index.
327   $aTemporal logics -- Data structures and heuristics -- Verification of programs and hardware -- Tool papers.
330   $aThis book constitutes the refereed proceedings of the 21st International Symposium on Automated Technology for Verification and Analysis, ATVA 2023, held in Singapore, in October 2023. The symposium intends to promote research in theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between regional and international research communities and industry in related areas. The 30 regular papers presented together with 7 tool papers were carefully reviewed and selected from 150 submissions.The papers are divided into the following topical sub-headings: Temporal logics, Data structures and heuristics, Verification of programs and hardware.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14216
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aComputer science
606   $aComputers
606   $aComputer engineering
606   $aComputer networks
606   $aSoftware Engineering
606   $aArtificial Intelligence
606   $aTheory of Computation
606   $aComputer Hardware
606   $aComputer Engineering and Networks
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615  0$aComputer science.
615  0$aComputers.
615  0$aComputer engineering.
615  0$aComputer networks.
615 14$aSoftware Engineering.
615 24$aArtificial Intelligence.
615 24$aTheory of Computation.
615 24$aComputer Hardware.
615 24$aComputer Engineering and Networks.
676   $a050
702   $aAndre?$b Etienne
702   $aSun$b Jun$f1961-
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910754097303321
996   $aAutomated Technology for Verification and Analysis$9772478
997   $aUNINA