Formal Methods in System Design
| 短名 | Form Methods Syst Des |
| Journal Impact | 0.71 |
| 国际分区 | COMPUTER SCIENCE, THEORY & METHODS(Q3) |
| 期刊索引 | SCI Q4中科院 4 区 |
| ISSN | 0925-9856, 1572-8102 |
| h-index | 57 |
| 国内分区 | 计算机科学(4区)计算机科学计算机理论方法(4区) |
本期刊的重点是设计、实现和验证硬件 (VLSI) 和软件系统正确性的正式方法。以这个目标创办期刊的动力来自学术界和工业界。在这两个领域，在过去几年中，对使用形式化方法的兴趣迅速增加。验证新设计所需的巨大成本和时间导致人们意识到必须开发更强大的技术。目前正在设计许多技术和工具来提高复杂硬件和软件系统的可靠性和鲁棒性。虽然硬件、固件或软件中的系统（子）组件之间的界限继续模糊，但相关的设计学科和形式化方法正在迅速成熟。因此，预计会出现一组重要（且有用）的普遍适用的形式方法，这将强烈影响未来的设计环境和设计方法。
期刊主页投稿网址| 涉及主题 | 计算机科学数学程序设计语言算法理论计算机科学工程类操作系统哲学物理人工智能认识论离散数学组合数学模型检查生物量子力学几何学 |
| 出版信息 | 出版商: Springer Netherlands，出版周期: Bimonthly，期刊类型: journal |
| 基本数据 | 创刊年份: 1992，原创研究文献占比: 100.00%，自引率:28.60%， Gold OA占比: 46.75% |
| 平均审稿周期 | 网友分享经验：>12周，或约稿 |
| 平均录用比例 | 网友分享经验：容易 |
期刊引文格式
这些示例是对学术期刊文章的引用，以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章，因此这些字段是可选的。有些电子期刊不提供页面范围，而是列出文章标识符。在这种情况下，使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用，以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Abstraction Modulo Stability
2024-9-12
PAC statistical model checking of mean payoff in discrete- and continuous-time MDP
2024-8-17
A verified durable transactional mutex lock for persistent x86-TSO
2024-7-31
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021
2024-7-25
Formally understanding Rust’s ownership and borrowing system at the memory level
2024-7-9
The hexatope and octatope abstract domains for neural network verification
2024-6-17
Runtime verification of partially-synchronous distributed system
2024-6-14
Partial program analysis for staged compilation systems
2024-6-13
An input–output relational domain for algebraic data types and functional arrays
2024-6-13
(Un)Solvable loop analysis
2024-6-11
Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation
2024-5-24
Information-flow interfaces
2024-5-23
Dynamic dependability analysis of shuffle-exchange networks
2024-5-15
Mining of extended signal temporal logic specifications with ParetoLib 2.0
2024-5-6
Software doping analysis for human oversight
2024-4-4
Preface for the formal methods in system design specialissue on ‘FASE 2022’
2024-4-2
Porous invariants for linear systems
2024-2-28
Parameter synthesis for Markov models: covering the parameter space
2024-2-17
Bounded-memory runtime enforcement with probabilistic and performance analysis
2024-2-14
Termination of triangular polynomial loops
2023-12-4
Extending rely-guarantee thinking to handle real-time scheduling
2023-11-30
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
2023-10-6
Certified SAT solving with GPU accelerated inprocessing
2023-8-2
Round- and context-bounded control of dynamic pushdown systems
2023-7-7
Symbolic encoding of LL(1) parsing and its applications
2023-6-22
Memory access protocols: certified data-race freedom for GPU kernels
2023-5-26
Compositional verification of priority systems using sharp bisimulation
2023-5-17
Partial bounding for recursive function synthesis
2023-5-16
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version)
2023-5-12
Hashing-based approximate counting of minimal unsatisfiable subsets
2023-4-19
Global guidance for local generalization in model checking
2023-3-28
On multi-language abstraction: Towards a static analysis of multi-language programs
2023-3-28
Stochastic games with lexicographic objectives
2023-3-8
Correction: Parameterized verification of leader/follower systems via first-order temporal logic
2023-2-7
Dissecting ltlsynt
2022-12-1
Church synthesis on register automata over linearly ordered data domains
2022-12-1
Enhancing active model learning with equivalence checking using simulation relations
2022-12-1
Preface for the formal methods in system design special issue on SYNT 2021
2022-12-1
Synbit: synthesizing bidirectional programs using unidirectional sketches
2022-12-1
Finite-trace and generalized-reactivity specifications in temporal synthesis
2022-12-1
Stratified guarded first-order transition systems
2022-11-22
Introducing robust reachability
2022-11-21
Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
2022-8-1
Integrating ADTs in KeY and their application to history-based reasoning about collection
2022-8-1
The probabilistic termination tool amber
2022-8-1
Runtime verification of real-time event streams using the tool HStriver
2022-8-1
Concise outlines for a complex logic: a proof outline checker for TaDA
2022-8-1
Fingerprinting and analysis of Bluetooth devices with automata learning
2022-8-1
Edmund Melson Clarke, Jr. (1945–2020)
2022-6-1
Mining definitions in Kissat with Kittens
2022-6-1
帮你贴心管理全部的文献
研飞ivySCI，高效的论文管理
投稿经验分享
分享我的经验，帮你走得更远