LEADER 03246nam  22007215  450 
001 9910754096303321
005 20231021195743.0
010   $a3-031-45329-8
024 7 $a10.1007/978-3-031-45329-8
035   $a(MiAaPQ)EBC30808608
035   $a(Au-PeEL)EBL30808608
035   $a(DE-He213)978-3-031-45329-8
035   $a(PPN)272913855
035   $a(CKB)28544054700041
035   $a(EXLCZ)9928544054700041
100   $a20231021d2023      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 I /$fedited by Étienne André, Jun Sun
205   $a1st ed. 2023.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023.
215   $a1 online resource (453 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14215
311 08$aPrint version: André, Étienne Automated Technology for Verification and Analysis Cham : Springer,c2023 9783031453281 
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 ;$v14215
606   $aSoftware engineering
606   $aComputer engineering
606   $aComputer networks
606   $aArtificial intelligence
606   $aComputers
606   $aComputer science
606   $aSoftware Engineering
606   $aComputer Engineering and Networks
606   $aArtificial Intelligence
606   $aComputer Hardware
606   $aTheory of Computation
615  0$aSoftware engineering.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aArtificial intelligence.
615  0$aComputers.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aComputer Engineering and Networks.
615 24$aArtificial Intelligence.
615 24$aComputer Hardware.
615 24$aTheory of Computation.
676   $a004.015113
702   $aAndre?$b Etienne
702   $aSun$b Jun
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910754096303321
996   $aAutomated Technology for Verification and Analysis$9772478
997   $aUNINA