東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Verification, model checking, and ab...

VMCAI (Conference) (2023 :)

FindBook

Google Book

Amazon

博客來

Verification, model checking, and abstract interpretation = 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Verification, model checking, and abstract interpretation/ edited by Cezara Dragoi, Michael Emmi, Jingbo Wang.
其他題名:	24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
其他題名:	VMCAI 2023
其他作者:	Dragoi, Cezara.
團體作者:	VMCAI (Conference)
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	x, 389 p. :ill., digital ;24 cm.
內容註:	Distributing and Parallelizing Non-canonical Loops -- SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study -- StaticPersist : Compiler Support for PMEM Programming -- Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference -- Satisfiability Modulo Custom Theories in Z3 -- Bayesian parameter estimation with guarantees via interval analysis and simulation -- A Pragmatic Approach to Stateful Partial Order Reduction -- Compositional Verification of Stigmergic Collective Systems -- Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth -- Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization -- A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation -- CosySEL: Improving SAT Solving Using Local Symmetries -- Sound Symbolic Execution via Abstract Interpretation and its Application to Security -- Result Invalidation for Incremental Modular Analyses -- Synthesizing History and Prophecy Variables for Symbolic Model Checking -- Solving Constrained Horn Clauses over Algebraic Data Types -- ARENA: Enhancing Abstract Refinement for Neural Network Verification.
Contained By:	Springer Nature eBook
標題:	Computer programs - Congresses. - Verification -
電子資源:	https://doi.org/10.1007/978-3-031-24950-1
ISBN:	9783031249501

Verification, model checking, and abstract interpretation = 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /[electronic resource] :VMCAI 2023edited by Cezara Dragoi, Michael Emmi, Jingbo Wang. - Cham :Springer Nature Switzerland :2023. - x, 389 p. :ill., digital ;24 cm. - Lecture notes in computer science,138811611-3349 ;. - Lecture notes in computer science ;13881..

Distributing and Parallelizing Non-canonical Loops -- SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study -- StaticPersist : Compiler Support for PMEM Programming -- Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference -- Satisfiability Modulo Custom Theories in Z3 -- Bayesian parameter estimation with guarantees via interval analysis and simulation -- A Pragmatic Approach to Stateful Partial Order Reduction -- Compositional Verification of Stigmergic Collective Systems -- Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth -- Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization -- A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation -- CosySEL: Improving SAT Solving Using Local Symmetries -- Sound Symbolic Execution via Abstract Interpretation and its Application to Security -- Result Invalidation for Incremental Modular Analyses -- Synthesizing History and Prophecy Variables for Symbolic Model Checking -- Solving Constrained Horn Clauses over Algebraic Data Types -- ARENA: Enhancing Abstract Refinement for Neural Network Verification.

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

ISBN: 9783031249501

Standard No.: 10.1007/978-3-031-24950-1doiSubjects--Topical Terms:

849544
Computer programs
--Verification--Congresses.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Verification, model checking, and abstract interpretation = 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
LDR:03008nmm a2200349 a 4500 001 2315657
003 DE-He213
005 20230116145107.0
006 m d
007 cr nn 008maaau
008 230902s2023 sz s 0 eng d
020 $a 9783031249501 $q (electronic bk.)
020 $a 9783031249495 $q (paper)
024 7 $a 10.1007/978-3-031-24950-1 $2 doi
035 $a 978-3-031-24950-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.76.V47
072 7 $a UYA $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 005.14 $2 23
090 $a QA76.76.V47 $b V871 2023
111 2 $a VMCAI (Conference) $n (24th : $d 2023 : $c Boston, Mass.) $3 3628181
245 1 0 $a Verification, model checking, and abstract interpretation $h [electronic resource] : $b 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / $c edited by Cezara Dragoi, Michael Emmi, Jingbo Wang.
246 3 $a VMCAI 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a x, 389 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 13881
505 0 $a Distributing and Parallelizing Non-canonical Loops -- SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study -- StaticPersist : Compiler Support for PMEM Programming -- Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference -- Satisfiability Modulo Custom Theories in Z3 -- Bayesian parameter estimation with guarantees via interval analysis and simulation -- A Pragmatic Approach to Stateful Partial Order Reduction -- Compositional Verification of Stigmergic Collective Systems -- Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth -- Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization -- A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation -- CosySEL: Improving SAT Solving Using Local Symmetries -- Sound Symbolic Execution via Abstract Interpretation and its Application to Security -- Result Invalidation for Incremental Modular Analyses -- Synthesizing History and Prophecy Variables for Symbolic Model Checking -- Solving Constrained Horn Clauses over Algebraic Data Types -- ARENA: Enhancing Abstract Refinement for Neural Network Verification.
520 $a This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
650 0 $a Computer programs $x Verification $v Congresses. $3 849544
650 1 4 $a Theory of Computation. $3 892514
650 2 4 $a Mathematics of Computing. $3 891213
650 2 4 $a Logic in AI. $3 3386372
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Control Structures and Microprogramming. $3 895886
700 1 $a Dragoi, Cezara. $3 3521813
700 1 $a Emmi, Michael. $3 3628182
700 1 $a Wang, Jingbo. $3 2054888
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 13881. $3 3628183
856 4 0 $u https://doi.org/10.1007/978-3-031-24950-1
950 $a Computer Science (SpringerNature-11645)