國立高雄大學圖資館 |

登入

回首頁

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Verification, model checking, and abstract interpretationedited by Cezara Dragoi, Michael Emmi, Jingbo Wang.
其他題名:	24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
其他題名:	VMCAI 2023
其他作者:	Dragoi, Cezara.
團體作者:
出版者:	Cham :Springer Nature Switzerland :2023.
面頁冊數:	x, 389 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Computer programsCongresses.Verification
電子資源:	https://doi.org/10.1007/978-3-031-24950-1
ISBN:	9783031249501$q(electronic bk.)

Verification, model checking, and abstract interpretation24th 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 ;4891..

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$q(electronic bk.)

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

384456
Computer programs
--Verification--Congresses.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Verification, model checking, and abstract interpretation24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023 : proceedings /
LDR:03008nmm a2200349 a 4500 001 639804
003 DE-He213
005 20230116145107.0
006 m d
007 cr nn 008maaau
008 231025s2023 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 384456
650 2 4 $a Mathematics of Computing. $3 273710
650 2 4 $a Logic in AI. $3 836108
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
650 2 4 $a Software Engineering. $3 274511
650 2 4 $a Control Structures and Microprogramming. $3 274663
700 1 $a Dragoi, Cezara. $3 908544
700 1 $a Emmi, Michael. $3 946187
700 1 $a Wang, Jingbo. $3 675077
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
856 4 0 $u https://doi.org/10.1007/978-3-031-24950-1
950 $a Computer Science (SpringerNature-11645)