Results 251 to 260 of about 1,932,015 (306)
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.
Jim Woodcock +2 more
exaly +4 more sources
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
Maurice H Ter Beek +2 more
exaly +6 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A formal nethod (a networked formal method)
Innovations in Systems and Software Engineering, 2010A year-long trial has seen a large lightweight verification problem treated by an ad hoc distributed network of identical solvers. The trialled problem is the semantic analysis of the C code in the Linux kernel to exclude a common deadlock possibility.
Peter T. Breuer, Simon Pickin 0001
openaire +1 more source
Formal Aspects of Computing, 1997
AbstractFormal methods can help to increase the correctness and trustworthiness of the software developed. However, they do not solve all the problems of software development. This paper analyses some limitations of formal methods.
Ralf Kneuper
exaly +2 more sources
AbstractFormal methods can help to increase the correctness and trustworthiness of the software developed. However, they do not solve all the problems of software development. This paper analyses some limitations of formal methods.
Ralf Kneuper
exaly +2 more sources
The industrialization of formal methods
International Journal on Software Tools for Technology Transfer, 2005This special section contains papers based on work presented at the 12th International Symposium on Formal Methods (FM 2003) held at the CNR Research Campus in Pisa on 8-13 September 2003. The papers all focus on tools and techniques for cost-effective application of formal methods on the industrial scale.
John S. Fitzgerald +2 more
openaire +4 more sources