標題: Titlebook: NASA Formal Methods; 9th International Sy Clark Barrett,Misty Davies,Temesghen Kahsai Conference proceedings 2017 Springer International Pu [打印本頁] 作者: 神像之光環(huán) 時間: 2025-3-21 16:19
書目名稱NASA Formal Methods影響因子(影響力)
書目名稱NASA Formal Methods影響因子(影響力)學(xué)科排名
書目名稱NASA Formal Methods網(wǎng)絡(luò)公開度
書目名稱NASA Formal Methods網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱NASA Formal Methods被引頻次
書目名稱NASA Formal Methods被引頻次學(xué)科排名
書目名稱NASA Formal Methods年度引用
書目名稱NASA Formal Methods年度引用學(xué)科排名
書目名稱NASA Formal Methods讀者反饋
書目名稱NASA Formal Methods讀者反饋學(xué)科排名
作者: omnibus 時間: 2025-3-21 23:00
Hadar Frenkel,Orna Grumberg,Sarai Sheinvaldtest and emerging topics.Accessible utility in a single volu.Reviews in Fluorescence 2009, the sixth volume of the book serial from Springer, serves as a comprehensive collection of current trends and emerging hot topics in the field of fluorescence and closely related disciplines. It summarizes the作者: wangle 時間: 2025-3-22 02:07 作者: 罐里有戒指 時間: 2025-3-22 06:19
étienne André,Hoang Gia Nguyen,Laure Petrucci,Jun Suntest and emerging topics.Accessible utility in a single volu.Reviews in Fluorescence 2009, the sixth volume of the book serial from Springer, serves as a comprehensive collection of current trends and emerging hot topics in the field of fluorescence and closely related disciplines. It summarizes the作者: 慢慢沖刷 時間: 2025-3-22 09:04 作者: DEAF 時間: 2025-3-22 13:58 作者: Immortal 時間: 2025-3-22 19:37
Colin Snook,Thai Son Hoang,Michael Butlertest and emerging topics.Accessible utility in a single volu.Reviews in Fluorescence 2009, the sixth volume of the book serial from Springer, serves as a comprehensive collection of current trends and emerging hot topics in the field of fluorescence and closely related disciplines. It summarizes the作者: Laconic 時間: 2025-3-22 23:52 作者: 過濾 時間: 2025-3-23 03:18 作者: FLIT 時間: 2025-3-23 07:10 作者: 搏斗 時間: 2025-3-23 12:36
Ashlie B. Hocking,M. Anthony Aiello,John C. Knight,Nikos Aréchiga hot topics in the field of fluorescence and closely related disciplines. It summarizes the year’s progress in fluorescence and its applications, with authoritative analytical reviews specialized enough to be attractive to professional researchers, yet also appealing to the wider audience of scienti作者: 鞭打 時間: 2025-3-23 17:11 作者: Terrace 時間: 2025-3-23 18:35
Benjamin F. Jones,Lee Pikeible utility in a single volume reference New volume publishReviews in Fluorescence 2010, the seventh volume of the book serial from Springer, serves as a comprehensive collection of current trends and emerging hot topics in the field of fluorescence and closely related disciplines. It summarizes th作者: Processes 時間: 2025-3-24 00:27
Braham Lotfi Mediouni,Ayoub Nouri,Marius Bozga,Saddek Bensalemible utility in a single volume reference New volume publishReviews in Fluorescence 2010, the seventh volume of the book serial from Springer, serves as a comprehensive collection of current trends and emerging hot topics in the field of fluorescence and closely related disciplines. It summarizes th作者: 證實 時間: 2025-3-24 03:15 作者: CRUMB 時間: 2025-3-24 08:51
Hugo Illous,Matthieu Lemerre,Xavier Rival hot topics in the field of fluorescence and closely related disciplines. It summarizes the year’s progress in fluorescence and its applications, with authoritative analytical reviews specialized enough to be attractive to professional researchers, yet also appealing to the wider audience of scienti作者: foreign 時間: 2025-3-24 14:02 作者: Epidural-Space 時間: 2025-3-24 16:26
Saeed Darabi,Stefan C. C. Blom,Marieke Huismanible utility in a single volume reference New volume publishReviews in Fluorescence 2010, the seventh volume of the book serial from Springer, serves as a comprehensive collection of current trends and emerging hot topics in the field of fluorescence and closely related disciplines. It summarizes th作者: Anemia 時間: 2025-3-24 21:34 作者: Canopy 時間: 2025-3-24 23:25 作者: Thymus 時間: 2025-3-25 05:29 作者: 遵循的規(guī)范 時間: 2025-3-25 09:40 作者: Mendacious 時間: 2025-3-25 14:25 作者: 圍巾 時間: 2025-3-25 18:04 作者: 草本植物 時間: 2025-3-25 20:10 作者: 令人心醉 時間: 2025-3-26 00:13
Analysing Security Protocols Using Refinement in iUML-B,ification. We use class diagrams to specify conceptual system entities and their relationships. We use state-machines to model the protocol execution involving the entities’ interactions. Features of our approach include specifying security principles as invariants of some abstract model of the over作者: 運動性 時間: 2025-3-26 06:23
On Learning Sparse Boolean Formulae for Explaining AI Decisions,sz as either positive or negative. This problem has received attention in both machine learning as well as formal methods communities, and it has been shown to have exponential worst-case complexity in the general case as well as for many restrictions. In this paper, we focus on learning . Boolean f作者: 上流社會 時間: 2025-3-26 10:52 作者: JAMB 時間: 2025-3-26 13:31
Model-Counting Approaches for Nonlinear Numerical Constraints, accomplishes its task without errors, and measuring the number of bits leaked by a system to an adversary in Shannon entropy. Most previous work in those areas demonstrated their analysis on programs with linear constraints, in which cases model counting is polynomial time. Model counting for nonli作者: Cryptic 時間: 2025-3-26 18:08 作者: 連鎖 時間: 2025-3-27 00:37
Compositional Model Checking of Interlocking Systems for Lines with Multiple Stations, Such a system is safety critical and demands thorough formal verification during its development process. Within this context, our work has focused on the extension of a compositional model checking approach to formally verify interlocking system models for lines with multiple stations. The idea of作者: critique 時間: 2025-3-27 04:59
Modular Model-Checking of a Byzantine Fault-Tolerant Protocol,arly challenging to model-check given their large state spaces and non-determinism. The typical approach to controlling complexity is to construct ad-hoc abstractions of faults, message-passing, and behaviors. However, these abstractions come at the price of divorcing the model from its implementati作者: arbovirus 時間: 2025-3-27 06:01 作者: MOT 時間: 2025-3-27 13:08 作者: Conclave 時間: 2025-3-27 14:21
A Relational Shape Abstract Domain, compute a description of the input-output relations of programs. In the case of numeric programs, several analyses have been proposed that utilize relational numerical abstract domains to describe relations. On the other hand, designing abstractions for relations over memory states and taking shape作者: hereditary 時間: 2025-3-27 19:12
Floating-Point Format Inference in Mixed-Precision,tations in order to ensure a desired accuracy on the outputs. The first originality of our approach is to combine forward and backward static analyses, done by abstract interpretation. The backward analysis computes the minimal precision needed for the inputs and intermediary values in order to have作者: condemn 時間: 2025-3-28 00:25
A Verification Technique for Deterministic Parallel Programs,ay potentially be executed in parallel. This paper develops a verification technique to prove correctness of compiler directives combined with functional correctness of the program. We propose syntax and semantics for a simple core language, capturing the main forms of deterministic parallel program作者: WATER 時間: 2025-3-28 04:01
Systematic Predicate Abstraction Using Variable Roles,me of a model checker, or determines if a model checker is able to solve a verification task at all. In this paper we present a method to systematically specify heuristics for generating program-specific abstractions. The heuristics can be used to generate initial abstractions, and to guide abstract作者: 背書 時間: 2025-3-28 10:12 作者: Congeal 時間: 2025-3-28 12:42 作者: Baffle 時間: 2025-3-28 17:37 作者: 圓錐體 時間: 2025-3-28 19:12
Parametric Model Checking Timed Automata Under Non-Zenoness Assumption, that synthesizing parameter valuations such that at least one counterexample run is non-Zeno is undecidable for parametric timed automata (PTAs). Still, we propose a semi-algorithm based on a transformation of PTAs into . to derive all valuations whenever it terminates, and some of them otherwise.作者: 煤渣 時間: 2025-3-28 23:32 作者: Allergic 時間: 2025-3-29 05:30
0302-9743 pabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle..978-3-319-57287-1978-3-319-57288-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Amenable 時間: 2025-3-29 07:43
0302-9743 on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017..The 23 full and 8 short papers presented in this volume were carefully?reviewed and selected from 77 submissions. The papers focus?on formal techniques and other approaches for software assurance, their theory, current ca作者: 核心 時間: 2025-3-29 12:08 作者: 強制性 時間: 2025-3-29 18:54
Auto-Active Proof of Red-Black Trees in SPARK,ate the potential of this approach, we have chosen to formally specify a library of red-black trees in SPARK, and to prove its functionality using auto-active verification. To the best of our knowledge, this is the most complex use of auto-active verification so far.作者: Biguanides 時間: 2025-3-29 22:08
Analysing Security Protocols Using Refinement in iUML-B,echniques to analyse our formal model, in particular, to explore the source and consequence of the security attack. To demonstrate the use of our approach we explore the mechanism of a security attack in a network protocol.作者: 表示問 時間: 2025-3-30 01:39 作者: 拋媚眼 時間: 2025-3-30 05:14 作者: 對手 時間: 2025-3-30 10:24 作者: palliate 時間: 2025-3-30 12:54 作者: ingestion 時間: 2025-3-30 18:36
Learning from Faults: Mutation Testing in Active Automata Learning,extend with fault-based test selection. To show its effectiveness we apply the approach in learning experiments and compare its performance to a well-established testing technique, the partial W-method. This evaluation demonstrates that our approach significantly reduces the cost of learning – in one experiment by a factor of more than twenty.作者: keloid 時間: 2025-3-31 00:38 作者: molest 時間: 2025-3-31 02:34
Hadar Frenkel,Orna Grumberg,Sarai Sheinvaldl cell mechanobiology..Origin of Tryptophan Fluorescence..Protein Folding, Unfolding and Aggregation Processes revealed by Rapid Sampling of Time-Domain Fluorescence. .978-1-4614-2994-4978-1-4419-9672-5Series ISSN 1573-8086 Series E-ISSN 2511-8579 作者: 巫婆 時間: 2025-3-31 08:53
étienne André,Hoang Gia Nguyen,Laure Petrucci,Jun Sunl cell mechanobiology..Origin of Tryptophan Fluorescence..Protein Folding, Unfolding and Aggregation Processes revealed by Rapid Sampling of Time-Domain Fluorescence. .978-1-4614-2994-4978-1-4419-9672-5Series ISSN 1573-8086 Series E-ISSN 2511-8579 作者: 粗糙 時間: 2025-3-31 12:31 作者: Morbid 時間: 2025-3-31 14:47 作者: 脖子 時間: 2025-3-31 20:19
Benjamin F. Jones,Lee Pikeprehensive coverage of the year‘s hottest and emerging topics, each Reviews in Fluorescence volume is citable (ISI) and indexed. Reviews in Fluorescence 2010 topics include: Novel Metal-based Luminophores for B978-1-4899-8645-0978-1-4419-9828-6Series ISSN 1573-8086 Series E-ISSN 2511-8579 作者: indicate 時間: 2025-3-31 23:52
Braham Lotfi Mediouni,Ayoub Nouri,Marius Bozga,Saddek Bensalemprehensive coverage of the year‘s hottest and emerging topics, each Reviews in Fluorescence volume is citable (ISI) and indexed. Reviews in Fluorescence 2010 topics include: Novel Metal-based Luminophores for B978-1-4899-8645-0978-1-4419-9828-6Series ISSN 1573-8086 Series E-ISSN 2511-8579 作者: 使長胖 時間: 2025-4-1 03:56
