Results 11 to 20 of about 4,235,689 (341)
ACM Computing Surveys, 2009 Formal methods use mathematical models for analysis and verification at any part of the program life-cycle. We describe the state of the art in the industrial use of formal methods, concentrating on their increasing use at the earlier stages of specification and design.
Woodcock J +3 more
openaire +4 more sources
Is CADP an Applicable Formal Method? [PDF]
Electronic Proceedings in Theoretical Computer Science, 2021 CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether CADP qualifies as an applicable formal method, based on the experience of the authors and feedback reported by users.
Garavel, Hubert +3 more
openaire +4 more sources
Formal Methods in Conformance Testing: A Probabilistic Refinement [PDF]
, 1996 This paper refines the framework of ‘Formal Methods in Conformance Testing’ by introducing probabilities for concepts which have a stochastic nature. Test execution is refined into test runs, where each test run is considered as a stochastic process that
Heerink, A.W., Tretmans, G.J.
core +7 more sources
Gaussian Process Panel Modeling—Machine Learning Inspired Analysis of Longitudinal Panel Data
Frontiers in Psychology, 2020 In this article, we extend the Bayesian nonparametric regression method Gaussian Process Regression to the analysis of longitudinal panel data. We call this new approach Gaussian Process Panel Modeling (GPPM).
Julian D. Karch +4 more
doaj +1 more source
Buildings, 2022 The seismic vulnerability assessment of existing reinforced concrete (RC) buildings is a significant source of disaster mitigation plans and rescue services. Different countries evolved various Rapid Visual Screening (RVS) techniques and methodologies to
Vandana Kumari +3 more
doaj +1 more source
Formal and Informal Methods for Multi-Core Design Space Exploration
, 2014 We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor architectures and evaluate the performance of different deployment (mapping ...
Kempf, Jean-Francois +2 more
core +6 more sources
The Merits of a Decentralized Pollution-Monitoring System Based on Distributed Ledger Technology
IEEE Access, 2020 Pollution-monitoring systems (PMSs) are used worldwide to sense environmental changes, such as air quality conditions or temperature increases, and to monitor compliance with regulations.
Markus Lucking +6 more
doaj +1 more source
A generic user interface for energy management in smart homes
Energy Informatics, 2018 Building operating systems play an important role in monitoring energy consumption of devices and improving energy efficiency in household buildings.
Huiwen Xu +3 more
doaj +1 more source
An Abstraction Technique for Verifying Shared-Memory Concurrency
Applied Sciences, 2020 Modern concurrent and distributed software is highly complex. Techniques to reason about the correct behaviour of such software are essential to ensure its reliability.
Wytse Oortwijn +2 more
doaj +1 more source
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Software, 2022 Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different study strategies (usability testing, laboratory experiments with software and human subjects, case studies, qualitative studies, surveys, judgement studies, systematic literature
ter Beek MH, Ferrari A
openaire +4 more sources