東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

FindBook

Google Book

Amazon

博客來

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Verification, model checking, and abstract interpretation/ edited by Rayna Dimitrova, Ori Lahav, Sebastian Wolff.
其他題名:	25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.
其他題名:	VMCAI 2024
其他作者:	Dimitrova, Rayna.
團體作者:	VMCAI (Conference)
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xviii, 340 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Computer programs - Congresses. - Verification -
電子資源:	https://doi.org/10.1007/978-3-031-50521-8
ISBN:	9783031505218

Verification, model checking, and abstract interpretation = 25th 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 ;14500..

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

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

849544
Computer programs
--Verification--Congresses.

LC Class. No.: QA76.76.V47

Dewey Class. No.: 005.14

Verification, model checking, and abstract interpretation = 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024 : proceedings.. Part II /
LDR:03124nmm a2200349 a 4500 001 2367701
003 DE-He213
005 20231229082602.0
006 m d
007 cr nn 008maaau
008 241127s2024 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 $a VMCAI (Conference) $n (25th : $d 2024 : $c London, England) $3 3711052
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 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 Dimitrova, Rayna. $3 3711053
700 1 $a Lahav, Ori. $3 3711054
700 1 $a Wolff, Sebastian. $3 3711055
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14500. $3 3711056
856 4 0 $u https://doi.org/10.1007/978-3-031-50521-8
950 $a Computer Science (SpringerNature-11645)