搜索页_checking+

设为首页

收藏本站

网站地图 | English | 公务邮箱

远程访问

NSTL服务站

外文资源

SpringerLink电子期刊(10033)

在“SpringerLink电子期刊”中，命中：10,033条，耗时：0.0290171 秒

在所有数据库中总计命中：10,033条

1. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

2. Improving configuration checking for satisfiable random k-SAT instances

作者： André Abramé ; Djamal Habet…

关键词：Local search ; Configuration checking ; Novelty heuristic ; Random k ; SAT

刊名：Annals of Mathematics and Artificial Intelligence

出版年：2017

3. Making Cloud Storage Integrity Checking Protocols Economically Smarter

关键词：Cloud storage ; Integrity checking ; Cost model ; Optimal parameter ; Economical analysis

刊名：Lecture Notes in Computer Science

出版年：2017

4. Comparative Analysis of Statistical Model Checking Tools

关键词：Membrane computing ; P systems ; Statistical model checking ; Biological models ; Performance benchmarking

刊名：Lecture Notes in Computer Science

出版年：2017

5. Handling loops in bounded model checking of C programs via k-induction

作者： Mikhail Y. R. Gadelha ; Hussama I. Ismail…

关键词：Software engineering ; Formal methods ; Verification ; Model checkingk ; induction

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

6. Combining techniques of bounded model checking and constraint programming to aid for error localization

作者： Mohammed Bekkouche

关键词：Program verification ; Testing ; Debugging ; Error localization ; Constraint Programming ; LocFaults ; BugAssist ; Minimal correction subset ; Minimal correction deviation

刊名：Constraints

出版年：2017

7. Improving the scalability of formal human–automation interaction verification analyses that use task-analytic models

作者： Matthew L. Bolton ; Xi Zheng ; Kylie Molinaro…

关键词：Model checking ; Task analytic models ; Formal methods ; Scalability

刊名：Innovations in Systems and Software Engineering

出版年：2017

8. Specification and automated validation of staged reconfiguration processes for dynamic software product lines

作者： Malte Lochau ; Johannes Bürdek ; Stefan Hölzle ; Andy Schürr

关键词：Dynamic software product lines ; Staged configuration ; Model ; based domain engineering and validation ; Model checking

刊名：Software & Systems Modeling

出版年：2017

9. Inferring physical units in formal models

作者： Sebastian Krings ; Michael Leuschel

关键词：B ; method ; EventB ; Physical units ; Model checking ; Abstract interpretation

刊名：Software & Systems Modeling

出版年：2017

10. Two Model Checking Approaches to Branch-and-Bound Optimization of a Flow Production System

刊名：Lecture Notes in Computer Science

出版年：2017

按检索点细分(10033)

题名(2628)

关键词(1724)

文摘(8993)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700