首页>外文期刊>计算机、自动化>计算技术、计算机技术>Formal Methods in System Design

Formal Methods in System Design

Formal Methods in System Design

SCIEI

中文名称：系统设计中的形式方法

ISSN：0925-9856
出版周期：Bimonthly

发文量：445

期刊论文

年度选择

2022
- 第1期
- 第2期
2021
- 第1期
- 第2期
- 第3期
2020
- 第3期
- 第3期
2019
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
2018
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2017
- 第1期
- 第1期
- 第2期
- 第3期
- 第3期
2016
- 第2期
- 第2期
- 第3期
- 第3期
2015
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2014
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2013
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2012
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2011
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2010
- 第1期
- 第1期
- 第2期
- 第3期
- 第3期
2009
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2008
- 第1期
- 第2期
- 第3期
- 第3期
2007
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2006
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2005
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2004
- 第1期
- 第1期
- 第2期
- 第3期
- 第3期
2003
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2002
- 第3期
2001
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2000
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
1999
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
1998
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期

更多>>

全选（0）

1.Incremental column-wise verification of arithmetic circuits using computer algebra

机译：使用计算机代数增量列明智验证算术电路
- 作者：Kaufmann Daniela;Biere Armin;Kauers Manuel
- 期刊名称：《Formal Methods in System Design》 | 2020年第3期
- Arithmetic circuit verification;
- Computer algebra;
- Gr#246;
- bner basis;
2.Parameterized verification of algorithms for oblivious robots on a ring

机译：戒指上忘记机器人算法的参数化验证
- 作者：Sangnier Arnaud;Sznajder Nathalie;Potop-Butucaru Maria;Tixeuil Sebastien
- 期刊名称：《Formal Methods in System Design》 | 2020年第3期
- Formal verification;
- SMT-solver;
- Swarms of robots;
3.Exact quantitative probabilistic model checking through rational search

机译：通过Rational Search确切的定量概率模型检查
- 作者：Mathur Umang;Bauer Matthew S.;Chadha Rohit;Sistla A. Prasad;Viswanathan Mahesh
- 期刊名称：《Formal Methods in System Design》 | 2020年第3期
- Exact quantitative model checking;
- Markov decision processes;
- Markov chains;
- Probabilistic systems;
4.Automated repair by example for firewalls

机译：通过示例进行自动修复防火墙
- 作者：Hallahan William T.;Zhai Ennan;Piskac Ruzica
- 期刊名称：《Formal Methods in System Design》 | 2020年第3期
- Synthesis;
- Firewall repair;
- Programming by example;
- Network configuration;
5.Learning inductive invariants by sampling from frequency distributions

机译：通过从频率分布中抽样学习归纳不变
- 作者：Fedyukovich Grigory;Kaufman Samuel J.;Bodik Rastislav
- 期刊名称：《Formal Methods in System Design》 | 2020年第3期
- Software verification;
- Invariant synthesis;
- Syntax-guided synthesis;
6.Quasi-optimal partial order reduction

机译：准优选部分顺序减少
- 作者：Coti Camille;Petrucci Laure;Rodriguez Cesar;Sousa Marcelo
- 期刊名称：《Formal Methods in System Design》 | 2021年第1期
- Program analysis;
- Dynamic analysis;
- Partial-order reduction;
- Non-interleaving semantics;
7.Preface of the special issue on the conference on computer-aided verification 2018

机译：2018年计算机辅助验证会议特别问题的前言
- 作者：Chockler Hana;Weissenbacher Georg
- 期刊名称：《Formal Methods in System Design》 | 2021年第1期
8.Model checking boot code from AWS data centers

机译：模型检查AWS数据中心的启动代码
- 作者：Cook Byron;Khazem Kareem;Kroening Daniel;Tasiran Serdar;Tautschnig Michael;Tuttle Mark R.
- 期刊名称：《Formal Methods in System Design》 | 2021年第1期
- Formal verification;
- Model checking;
- CBMC;
- Boot code;
- Firmware;
- Linker script;
- Amazon Web Services (AWS);
9.On solving quantified bit-vector constraints using invertibility conditions

机译：在求解定量比特矢量约束时使用可逆条件
- 作者：Niemetz Aina;Preiner Mathias;Reynolds Andrew;Barrett Clark;Tinelli Cesare
- 期刊名称：《Formal Methods in System Design》 | 2021年第1期
- Satisfiability modulo theories;
- Quantified bit-vectors;
- Invertibility conditions;
10.Boolean functional synthesis: hardness and practical algorithms

机译：布尔功能合成：硬度和实用算法
- 作者：Akshay S.;Chakraborty Supratik;Goel Shubham;Kulal Sumith;Shah Shetal
- 期刊名称：《Formal Methods in System Design》 | 2021年第1期
- Boolean functional synthesis;
- Skolem functions;
- Expansion-based algorithms;
11.2018 CAV award

机译：2018年CAV奖
- 作者：Kim G. Larsen;Natarajan Shankar;Pierre Wolper;Somesh Jha
- 期刊名称：《Formal Methods in System Design》 | 2021年第1期
12.Information-flow control on ARM and POWER multicore processors

机译：Information-flow control on ARM and POWER multicore processors
- 作者：Smith Graeme;Coughlin Nicholas;Murray Toby
- 期刊名称：《Formal methods in system design》 | 2021年第2期
- Information-flow security;
- Weak memory models;
- Non-blocking algorithms;
13.Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking

机译：Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
- 作者：G. Cabodi;P. E. Camurati;M. PalenaP. Pasini
- 期刊名称：《Formal methods in system design》 | 2022年第2期
- Formal verification;
- Hardware model checking;
- Interpolation;
- SAT solving;
14.Markov automata with multiple objectives

机译：Markov automata with multiple objectives
- 作者：Tim Quatmann;Sebastian Junges;Joost-Pieter Katoen
- 期刊名称：《Formal methods in system design》 | 2022年第1期
15.Specifiable robustness in reactive synthesis

机译：Specifiable robustness in reactive synthesis
- 作者：Roderick Bloem;Hana Chockler;Masoud EbrahimiOfer Strichman
- 期刊名称：《Formal methods in system design》 | 2022年第2期
- Synthesis;
- Reactive synthesis;
- Formal methods;
- Hardware synthesis;
- Robustness;
- Hardware robustness;
- Temporal logic specifications;
16.Functional synthesis via input-output separation

机译：Functional synthesis via input-output separation
- 作者：Supratik Chakraborty;Dror Fried;Lucas M. TabajaraMoshe Y. Vardi
- 期刊名称：《Formal methods in system design》 | 2022年第2期
- Formal methods;
- Synthesis;
- Decomposition;
- Boolean functions;
17.Debug-localize-repair: a symbiotic construction for heap manipulations

机译：Debug-localize-repair: a symbiotic construction for heap manipulations
- 作者：Verma Sahil;Roy Subhajit
- 期刊名称：《Formal methods in system design》 | 2021年第3期
- Program repair;
- Bug localization;
- Program debugging;
- Heap manipulations;
18.Incremental design-space model checking via reusable reachable state approximations

机译：Incremental design-space model checking via reusable reachable state approximations
- 作者：Dureja Rohit;Rozier Kristin Y.
- 期刊名称：《Formal methods in system design》 | 2021年第3期
- Model checking;
- Design space exploration;
- Reachability analysis;
- Incremental verification;
- Air traffic control;
19.Automatic verification of concurrent stochastic systems

机译：Automatic verification of concurrent stochastic systems
- 作者：Kwiatkowska Marta;Norman Gethin;Parker DavidSantos Gabriel
- 期刊名称：《Formal methods in system design》 | 2021年第2期
- Quantitative verification;
- Probabilistic model checking;
- Concurrent stochastic games;
- Nash equilibria;
20.Special Issue on Syntax-Guided Synthesis Preface

机译：Special Issue on Syntax-Guided Synthesis Preface
- 作者：Fisman Dana;Singh Rishabh;Solar-Lezama Armando
- 期刊名称：《Formal methods in system design》 | 2021年第3期
21.Control strategies for off-line testing of timed systems

机译：Control strategies for off-line testing of timed systems
- 作者：Leo Henry;Thierry Jeron;Nicolas Markey
- 期刊名称：《Formal methods in system design》 | 2022年第2期
- Timed system;
- Game theory;
- Controllability;
- Conformance testing;
22.Reluplex: a calculus for reasoning about deep neural networks

机译：Reluplex: a calculus for reasoning about deep neural networks
- 作者：Guy Katz;Clark Barrett;David L. DillKyle JulianMykel J. Kochenderfer
- 期刊名称：《Formal methods in system design》 | 2022年第1期
- Neural networks;
- Verification;
- Satisfiability modulo theories;
23.LTL model checking of self modifying code

机译：LTL model checking of self modifying code
- 作者：Tayssir Touili;Xin Ye
- 期刊名称：《Formal methods in system design》 | 2022年第2期
- Malware detection;
- Model checking;
- Automata;
24.Colored nested words

机译：Colored nested words
- 作者：Alur Rajeev;Fisman Dana
- 期刊名称：《Formal methods in system design》 | 2021年第3期
- Model checking;
- Programs with exceptions;
- Nested words;
- Visibly pushdown automata;
- Regularity;
25.Abstraction and subsumption in modular verification of C programs

机译：Abstraction and subsumption in modular verification of C programs
- 作者：Beringer Lennart;Appel Andrew W.
- 期刊名称：《Formal methods in system design》 | 2021年第2期
- Foundational program verification;
- Separation logics;
- Specification subsumption;
- Intersection specifications;
26.Pegasus: sound continuous invariant generation

机译：Pegasus: sound continuous invariant generation
- 作者：Sogokon Andrew;Mitsch Stefan;Tan Yong KiamCordwell KatherinePlatzer Andre
- 期刊名称：《Formal methods in system design》 | 2021年第2期
- Invariant generation;
- Continuous invariants;
- Ordinary differential equations;
- Theorem proving;
27.Integrating formal specifications into applications: the ProB Java API

机译：Integrating formal specifications into applications: the ProB Java API
- 作者：Koerner Philipp;Bendisposto Jens;Dunkelau JannikKrings SebastianLeuschel Michael
- 期刊名称：《Formal methods in system design》 | 2021年第2期
- Formal methods;
- Run-time execution;
- Embedding;
- ProB;
- ProB Java API;
28.Formal methods: practical applications and foundations Editorial

机译：Formal methods: practical applications and foundations Editorial
- 作者：ter Beek Maurice H.;McIver Annabelle
- 期刊名称：《Formal methods in system design》 | 2021年第2期
29.From LTL to unambiguous Buechi automata via disambiguation of alternating automata

机译：From LTL to unambiguous Buechi automata via disambiguation of alternating automata
- 作者：Jantsch Simon;Mueller David;Baier ChristelKlein Joachim
- 期刊名称：《Formal methods in system design》 | 2021年第2期
- omega-Automata;
- Unambiguous Buchi automata;
- Linear temporal logic;
- Verification;
- Alternating automata;
30.Static detection of uncoalesced accesses in GPU programs

机译：Static detection of uncoalesced accesses in GPU programs
- 作者：Rajeev Alur;Joseph Devietti;Omar S. Navarro LeijaNimit Singhania
- 期刊名称：《Formal methods in system design》 | 2022年第1期
- GPU performance;
- Static analysis;
- Abstract execution;
31.Parameterized verification of leader/follower systems via first-order temporal logic

机译：Parameterized verification of leader/follower systems via first-order temporal logic
- 作者：Kourtis G.;Dixon C.;Fisher M.Lisitsa A.
- 期刊名称：《Formal methods in system design》 | 2021年第3期
- Parameterized verification;
- First-order logic;
- Temporal logic;
32.Compositional verification of concurrent systems by combining bisimulations

机译：Compositional verification of concurrent systems by combining bisimulations
- 作者：Lang Frederic;Mateescu Radu;Mazzanti Franco
- 期刊名称：《Formal methods in system design》 | 2021年第2期
- Concurrency theory;
- Labelled transition system;
- Modal mu-calculus;
- Model checking;
- State space reduction;
- Temporal logic;

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号