OPAC

Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II / edited by Étienne André, Jun Sun
(Lecture Notes in Computer Science. ISSN:16113349 ; 14216)

データ種別	電子ブック
版	1st ed. 2023.
出版者	(Cham : Springer Nature Switzerland : Imprint: Springer)
出版年	2023
大きさ	XV, 330 p. 101 illus., 57 illus. in color : online resource
著者標目	André, Étienne editor Sun, Jun editor SpringerLink (Online service)

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0004805	Computer Scinece R0 2005-6,2022-3				9783031453328

一般注記	Temporal logics -- Data structures and heuristics -- Verification of programs and hardware -- Tool papers This 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 HTTP:URL=https://doi.org/10.1007/978-3-031-45332-8
件　名	LCSH:Software engineering LCSH:Artificial intelligence LCSH:Computer science LCSH:Computers LCSH:Computer engineering LCSH:Computer networks FREE:Software Engineering FREE:Artificial Intelligence FREE:Theory of Computation FREE:Computer Hardware FREE:Computer Engineering and Networks
分　類	LCC:QA76.758 DC23:005.1
書誌ID	EB00004193
ISBN	9783031453328