Springer Science and Business Media LLC
SCIE-ISI SCOPUS (1992-2023)
0925-9856
1572-8102
Cơ quản chủ quản: Springer Netherlands , SPRINGER
Lĩnh vực:
SoftwareTheoretical Computer ScienceHardware and Architecture
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 Abstract SMT -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 e...