Springer Science and Business Media LLC
SCIE-ISI SCOPUS (1992-2025)
0925-9856
1572-8102
Cơ quản chủ quản: Springer Netherlands , SPRINGER
Lĩnh vực:
SoftwareTheoretical Computer ScienceHardware and Architecture
Phân tích ảnh hưởng
Các bài báo tiêu biểu
Memory-efficient algorithms for the verification of temporal properties
Tập 1 Số 2-3 - Trang 275-288 - 1992
R2U2: monitoring and diagnosis of security threats for unmanned aerial systems
Tập 51 Số 1 - Trang 31-61 - 2017
Global guidance for local generalization in model checking
AbstractSMT-based model checkers, especially IC3-style ones, are currently the
most effective techniques for verification of infinite state systems. They infer
global inductive invariants via local reasoning about a single step of the
transition relation of a system, while employing SMT-based procedures, such as
interpolation, to mitigate the limitations of local reasoning and allow for
better gen...