紀錄類型: |
書目-電子資源
: 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, 352 p. :ill. (some col.), digital ;24 cm. |
內容註: |
Abstract Interpretation -- Formal Runtime Error Detection During Development in the Automotive Industry -- Abstract Interpretation-Based Feature Importance for Support Vector Machines -- Generation of Violation Witnesses by Under-Approximating Abstract Interpretation -- Correctness Witness Validation by Abstract Interpretation -- Infinite-State Systems -- Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability -- Parameterized Verification of Disjunctive Timed Networks -- Resilience and Home-Space for WSTS -- Model Checking and Synthesis -- Generic Model Checking for Modal Fixpoint Logics in COOL-MC -- Model-Guided Synthesis for LTL over Finite Traces -- Solving Two-Player Games under Progress Assumptions -- AT, SMT, and Automated Reasoning Interpolation and Quantifiers in Ortholattices -- Function Synthesis for Maximizing Model Counting -- Boosting Constrained Horn Solving by Unsat Core Learning -- On the Verification of a Subgraph Construction Algorithm -- Efficient Local Search for Nonlinear Real Arithmetic. |
Contained By: |
Springer Nature eBook |
標題: |
Computer programs - Congresses. - Verification - |
電子資源: |
https://doi.org/10.1007/978-3-031-50524-9 |
ISBN: |
9783031505249 |