000			01992nam a2200373Ia 4500
000			02541nam a22003975i 4500
001			978-3-031-45329-8
003			DE-He213
005			20240319121126.0
007			cr nn 008mamaa
008			231021s2023 sz | s |||| 0|eng d
020			_a9783031453298 _9978-3-031-45329-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			_aXVI, 446 p. 85 illus., 47 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. _938809
650			_aArtificial Intelligence. _938810
650			_aComputer Engineering and Networks. _938811
650			_aComputer engineering. _938812
650			_aComputer Hardware. _938813
650			_aComputer networks . _938814
650			_aComputer science. _938815
650			_aComputers. _938816
650			_aSoftware engineering. _938817
650			_aSoftware Engineering. _938818
650			_aTheory of Computation. _938819
700			_aAndré, Étienne. _938820
700			_aSun, Jun. _938821
856			_uhttps://doi.org/10.1007/978-3-031-45329-8
942			_cEBK _2ddc
999			_c15821 _d15821