Verification, Model Checking, and Abstract Interpretation (Record no. 87216)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04482nam a22006375i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-50521-8 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730170838.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 231229s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783031505218 |
| -- | 978-3-031-50521-8 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 004.0151 |
| 245 10 - TITLE STATEMENT | |
| Title | Verification, Model Checking, and Abstract Interpretation |
| Sub Title | 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II / |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XVIII, 340 p. 108 illus., 71 illus. in color. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | 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 ## - SUMMARY, ETC. | |
| Summary, etc | 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 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Mathematics. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Dimitrova, Rayna. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Lahav, Ori. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Wolff, Sebastian. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-3-031-50521-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer Nature Switzerland : |
| -- | Imprint: Springer, |
| -- | 2024. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Logic programming. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computers, Special purpose. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Microprogramming . |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Theory of Computation. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematics of Computing. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Logic in AI. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Special Purpose and Application-Based Systems. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Control Structures and Microprogramming. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 1611-3349 ; |
| 912 ## - | |
| -- | ZDB-2-SCS |
| 912 ## - | |
| -- | ZDB-2-SXCS |
| 912 ## - | |
| -- | ZDB-2-LNC |
No items available.