國立高雄大學圖資館 |

登入

回首頁

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Verification, model checking, and abstract interpretationedited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
其他題名:	25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.
其他題名:	VMCAI 2024
其他作者:	Dimitrova, Rayna.
團體作者:
出版者:	Cham :Springer Nature Switzerland :2024.
面頁冊數:	xviii, 340 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Computer programsCongresses.Verification
電子資源:	https://doi.org/10.1007/978-3-031-50521-8
ISBN:	9783031505218$q(electronic bk.)

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II /
Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II /[electronic resource] :VMCAI 2024edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff. - Cham :Springer Nature Switzerland :2024. - xviii, 340 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,145001611-3349 ;. - Lecture notes in computer science ;4891..

Concurrency -- Petrification: Software Model Checking for Programs with Dynamic Thread Management -- A Fully Verified Persistency Library -- A Navigation Logic for Recursive Programs with Dynamic Thread Creation -- Neural Networks -- Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training -- Verification of Neural Networks' Local Differential Classification Privacy -- AGNES: Abstraction-guided Framework for Deep Neural Network Security -- Probabilistic and Quantum Programs Guaranteed inference for probabilistic programs: a parallelisable, small-step operational approach -- Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs -- Program and System Verification -- Deductive Verification of Parameterized Embedded Systems modeled in SystemC -- Automatically Enforcing Rust Trait Properties -- Borrowable Fractional Ownership Types for Verification -- Runtime Verification -- TP-DejaVu: Combining Operational and Declarative Runtime Verification -- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic -- Security and Privacy -- Automatic and Incremental Repair for Speculative Information Leaks -- Sound Abstract Nonexploitability Analysis.

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy.

ISBN: 9783031505218$q(electronic bk.)

Standard No.: 10.1007/978-3-031-50521-8doiSubjects--Topical Terms:

384456
Computer programs
--Verification--Congresses.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Verification, model checking, and abstract interpretation25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.Part II /
LDR:03125namm 22003495 a 450 001 660602
003 DE-He213
005 20231229082602.0
006 m d
007 cr nn 008maaau
008 241106s2024 sz s 0 eng d
020 $a 9783031505218$q(electronic bk.)
020 $a 9783031505201$q(paper)
024 7 $a 10.1007/978-3-031-50521-8 $2 doi
035 $a 978-3-031-50521-8
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 2024
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 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings. $n Part II / $c edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
246 3 $a VMCAI 2024
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a xviii, 340 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 14500
505 0 $a Concurrency -- Petrification: Software Model Checking for Programs with Dynamic Thread Management -- A Fully Verified Persistency Library -- A Navigation Logic for Recursive Programs with Dynamic Thread Creation -- Neural Networks -- Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training -- Verification of Neural Networks' Local Differential Classification Privacy -- AGNES: Abstraction-guided Framework for Deep Neural Network Security -- Probabilistic and Quantum Programs Guaranteed inference for probabilistic programs: a parallelisable, small-step operational approach -- Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs -- Program and System Verification -- Deductive Verification of Parameterized Embedded Systems modeled in SystemC -- Automatically Enforcing Rust Trait Properties -- Borrowable Fractional Ownership Types for Verification -- Runtime Verification -- TP-DejaVu: Combining Operational and Declarative Runtime Verification -- Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic -- Security and Privacy -- Automatic and Incremental Repair for Speculative Information Leaks -- Sound Abstract Nonexploitability Analysis.
520 $a The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy.
650 0 $a Computer programs $x Verification $v Congresses. $3 384456
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Mathematics of Computing. $3 273710
650 2 4 $a Logic in AI. $3 836108
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 Dimitrova, Rayna. $3 971881
700 1 $a Lahav, Ori. $3 971882
700 1 $a Wolff, Sebastian. $3 971883
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-50521-8
950 $a Computer Science (SpringerNature-11645)