國立虎尾科技大學 |

Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Automated Technology for Verification and Analysis/ edited by Dang Van Hung, Oleg Sokolsky.
Reminder of title:	18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /
other author:	Hung, Dang Van.
Description:	XIV, 574 p. 796 illus., 99 illus. in color.online resource. :
Contained By:	Springer Nature eBook
Subject:	Artificial intelligence. -
Online resource:	https://doi.org/10.1007/978-3-030-59152-6
ISBN:	9783030591526

Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /
Automated Technology for Verification and Analysis18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /[electronic resource] :edited by Dang Van Hung, Oleg Sokolsky. - 1st ed. 2020. - XIV, 574 p. 796 illus., 99 illus. in color.online resource. - Programming and Software Engineering ;12302. - Programming and Software Engineering ;8987.

Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems.

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.

ISBN: 9783030591526

Standard No.: 10.1007/978-3-030-59152-6doiSubjects--Topical Terms:

559380
Artificial intelligence.

LC Class. No.: Q334-342

Dewey Class. No.: 006.3

Automated Technology for Verification and Analysis = 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings /
LDR:02471nam a22004095i 4500 001 1030392
003 DE-He213
005 20201012060318.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030591526 $9 978-3-030-59152-6
024 7 $a 10.1007/978-3-030-59152-6 $2 doi
035 $a 978-3-030-59152-6
050 4 $a Q334-342
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
245 1 0 $a Automated Technology for Verification and Analysis $h [electronic resource] : $b 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings / $c edited by Dang Van Hung, Oleg Sokolsky.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XIV, 574 p. 796 illus., 99 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 12302
505 0 $a Neural Networks and Machine Learning -- Automata -- Logics -- Techniques for Verification, Analysis and Testing -- Model Checking and Decision Procedures -- Synthesis -- Randomization and Probabilistic Systems.
520 $a This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020, held in Hanoi, Vietnam, in October 2020. The 27 regular papers presented together with 5 tool papers and 2 invited papers were carefully reviewed and selected from 75 submissions. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The papers focus on neural networks and machine learning; automata; logics; techniques for verification, analysis and testing; model checking and decision procedures; synthesis; and randomization and probabilistic systems.
650 0 $a Artificial intelligence. $3 559380
650 0 $a Special purpose computers. $3 1204562
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Natural language processing (Computer science). $3 802180
650 0 $a Data structures (Computer science). $3 680370
650 1 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Natural Language Processing (NLP). $3 1254293
650 2 4 $a Data Structures and Information Theory. $3 1211601
700 1 $a Hung, Dang Van. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 675702
700 1 $a Sokolsky, Oleg. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1171823
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030591519
776 0 8 $i Printed edition: $z 9783030591533
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-59152-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)