000			01992nam a2200373Ia 4500
000			02542nam a22003975i 4500
001			978-3-031-45332-8
003			DE-He213
005			20240319121124.0
007			cr nn 008mamaa
008			231018s2023 sz | s |||| 0|eng d
020			_a9783031453328 _9978-3-031-45332-8
082			_a5.1
245			_aAutomated Technology for Verification and Analysis _cedited by Étienne André, Jun Sun. _h[electronic resource] :
250			_a1st ed. 2023.
260			_aCham _bSpringer Nature Switzerland _c2023
300			_aXV, 330 p. 101 illus., 57 illus. in color. _bonline resource.
520			_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.
650			_aArtificial intelligence. _938696
650			_aArtificial Intelligence. _938697
650			_aComputer Engineering and Networks. _938698
650			_aComputer engineering. _938699
650			_aComputer Hardware. _938700
650			_aComputer networks . _938701
650			_aComputer science. _938702
650			_aComputers. _938703
650			_aSoftware engineering. _938704
650			_aSoftware Engineering. _938705
650			_aTheory of Computation. _938706
700			_aAndré, Étienne. _938707
700			_aSun, Jun. _938708
856			_uhttps://doi.org/10.1007/978-3-031-45332-8
942			_cEBK _2ddc
999			_c15813 _d15813