International Journal on Software Tools for Technology Transfer
Công bố khoa học tiêu biểu
* Dữ liệu chỉ mang tính chất tham khảo
Sắp xếp:
LearnLib: a framework for extrapolating behavioral models
International Journal on Software Tools for Technology Transfer - Tập 11 - Trang 393-407 - 2009
In this paper, we present the LearnLib, a library of tools for automata learning, which is explicitly designed for the systematic experimental analysis of the profile of available learning algorithms and corresponding optimizations. Its modular structure allows users to configure their own tailored learning scenarios, which exploit specific properties of their envisioned applications. As has been ......
Efficient debugging in a formal verification environment
International Journal on Software Tools for Technology Transfer - - 2003
Providing the shalls
International Journal on Software Tools for Technology Transfer - - 2006
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods offers developers of safety-critical systems a powerful new approach to the early validation of requirements. This paper describes an exercise conducted to determine if formal methods could be used to validate system requ......
Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications
International Journal on Software Tools for Technology Transfer - Tập 24 Số 2 - Trang 159-181 - 2022
Are BDDs still alive within sequential verification?
International Journal on Software Tools for Technology Transfer - Tập 7 - Trang 129-142 - 2005
This work proposes a fully BDD-based approach based on: mixing forward and backward traversals, dovetailing approximate and exact methods, adopting guided and partitioned searches, and using conjunctive decompositions and generalized-cofactor-based BDD simplifications. The method is exact, i.e., it does not produce false negatives or positives, and reaps relevant performance enhancements from an a......
Guest editors’ introduction: quantitative analysis of real-time embedded systems
International Journal on Software Tools for Technology Transfer - Tập 8 - Trang 605-606 - 2006
This special section is devoted to a selection of journal versions of papers that were presented at the first International Symposium On Leveraging Applications of Formal Methods. All papers are relevant to the field of quantitative systems validation. Three papers report on applying state-of-the-art techniques to (industrial) case studies, whereas one paper addresses the evaluation of networks in......
Preface by the section editors
International Journal on Software Tools for Technology Transfer - - 2003
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more
International Journal on Software Tools for Technology Transfer - - 2010
Evaluating workloads using comparative functional coverage
International Journal on Software Tools for Technology Transfer - Tập 13 - Trang 207-221 - 2010
We introduce comparative functional coverage—a technique for comparing the coverage of multiple workloads—and the tool in which it was implemented, FoCuS. The need to compare workloads and the use of functional coverage as a technique to explore data are not new. However, the use of functional coverage for comparing workloads has not been addressed as a method that responds to this long unanswered......
Counting Petri net markings from reduction equations
International Journal on Software Tools for Technology Transfer - - 2020
Tổng số: 667
- 1
- 2
- 3
- 4
- 5
- 6
- 10