國立高雄大學圖資館 |

Language: English

Back

Automated technology for verificatio...

(1998 :)

Automated technology for verification and analysis19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Automated technology for verification and analysisedited by Zhe Hou, Vijay Ganesh.
Reminder of title:	19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings /
remainder title:	ATVA 2021
other author:	Hou, Zhe.
corporate name:
Published:	Cham :Springer International Publishing :2021.
Description:	xv, 382 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Automatic theorem provingCongresses.
Online resource:	https://doi.org/10.1007/978-3-030-88885-5
ISBN:	9783030888855$q(electronic bk.)

Automated technology for verification and analysis19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings /
Automated technology for verification and analysis19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings /[electronic resource] :ATVA 2021edited by Zhe Hou, Vijay Ganesh. - Cham :Springer International Publishing :2021. - xv, 382 p. :ill., digital ;24 cm. - Lecture notes in computer science,129710302-9743 ;. - Lecture notes in computer science ;4891..

Invited Paper -- Linear Temporal Logic - From Infinite to Finite Horizon -- Automata Theory -- Determinization and Limit-determinization of Emerson-Lei automata -- Automatic discovery of fair paths in infinite-state transition systems -- Certifying DFA Bounds for Recognition and Separation -- Machine Learning for Formal Methods -- AALpy: An Active Automata Learning Library -- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach -- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems -- Theorem Proving and Tools -- A Formal Semantics of the GraalVM Intermediate Representation -- A Verified Decision Procedure for Orders in Isabelle/HOL -- PJBDD: A BDD Library for Java and Multi-Threading -- Model Checking -- Live Synthesis -- Faster Pushdown Reachability Analysis with Applications in Network Verification -- Verifying Verified Code -- Probabilistic Analysis -- Probabilistic causes in Markov Chains -- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments -- AQUA: Automated Quantized Inference for Probabilistic Programs -- Software and Hardware Verification -- Proving SIFA Protection of Masked Redundant Circuits -- Verification by Gambling on Program Slices -- Runtime Enforcement of Hyperproperties -- System Synthesis and Approximation -- Compositional Synthesis of Modular Systems -- Event-B Refinement for Continuous Behaviours Approximation -- Incorporating Monitors in Reactive Synthesis without Paying the Price -- Verification of Machine Learning -- pyNever: a Framework for Learning and Verification of Neural Networks -- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. 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 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.

ISBN: 9783030888855$q(electronic bk.)

Standard No.: 10.1007/978-3-030-88885-5doiSubjects--Topical Terms:

443052
Automatic theorem proving
--Congresses.

LC Class. No.: QA76.9.A96 / A78 2021

Dewey Class. No.: 006.333

Automated technology for verification and analysis19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings /
LDR:03842nmm a2200373 a 4500 001 610513
003 DE-He213
005 20211013103638.0
006 m d
007 cr nn 008maaau
008 220330s2021 sz s 0 eng d
020 $a 9783030888855$q(electronic bk.)
020 $a 9783030888848$q(paper)
024 7 $a 10.1007/978-3-030-88885-5 $2 doi
035 $a 978-3-030-88885-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A96 $b A78 2021
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
072 7 $a UL $2 thema
082 0 4 $a 006.333 $2 23
090 $a QA76.9.A96 $b A939 2021
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Automated technology for verification and analysis $h [electronic resource] : $b 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-21, 2021 : proceedings / $c edited by Zhe Hou, Vijay Ganesh.
246 3 $a ATVA 2021
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2021.
300 $a xv, 382 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12971
490 1 $a Programming and software engineering
505 0 $a Invited Paper -- Linear Temporal Logic - From Infinite to Finite Horizon -- Automata Theory -- Determinization and Limit-determinization of Emerson-Lei automata -- Automatic discovery of fair paths in infinite-state transition systems -- Certifying DFA Bounds for Recognition and Separation -- Machine Learning for Formal Methods -- AALpy: An Active Automata Learning Library -- Learning Linear Temporal Properties from Noisy Data: A MaxSAT-based Approach -- Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems -- Theorem Proving and Tools -- A Formal Semantics of the GraalVM Intermediate Representation -- A Verified Decision Procedure for Orders in Isabelle/HOL -- PJBDD: A BDD Library for Java and Multi-Threading -- Model Checking -- Live Synthesis -- Faster Pushdown Reachability Analysis with Applications in Network Verification -- Verifying Verified Code -- Probabilistic Analysis -- Probabilistic causes in Markov Chains -- TEMPEST - Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments -- AQUA: Automated Quantized Inference for Probabilistic Programs -- Software and Hardware Verification -- Proving SIFA Protection of Masked Redundant Circuits -- Verification by Gambling on Program Slices -- Runtime Enforcement of Hyperproperties -- System Synthesis and Approximation -- Compositional Synthesis of Modular Systems -- Event-B Refinement for Continuous Behaviours Approximation -- Incorporating Monitors in Reactive Synthesis without Paying the Price -- Verification of Machine Learning -- pyNever: a Framework for Learning and Verification of Neural Networks -- Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
520 $a This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. 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 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.
650 0 $a Automatic theorem proving $v Congresses. $3 443052
650 0 $a Artificial intelligence $3 252958
650 1 4 $a Software Engineering/Programming and Operating Systems. $3 273711
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Computer Hardware. $3 275482
650 2 4 $a Computer Systems Organization and Communication Networks. $3 273709
700 1 $a Hou, Zhe. $3 908546
700 1 $a Ganesh, Vijay. $3 908547
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Programming and software engineering. $3 821998
856 4 0 $u https://doi.org/10.1007/978-3-030-88885-5
950 $a Computer Science (SpringerNature-11645)