Open Access
The RAISE Development Method
Chris George,Anne Elisabeth Haxthausen,S.L. Hughes,Roger L. Milne,Søren Prehn,J. Storbank Pedersen +5 more
- 01 Jan 1995
108
About: The article was published on 01 Jan 1995. and is currently open access.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Formal methods: Practice and experience
TL;DR: The state of the art in the industrial use of formal methods is described, concentrating on their increasing use at the earlier stages of specification and design, by comparing the situation in 2009 with the most significant surveys carried out over the last 20 years.
Semantics-based program verifiers for all languages
Andrei Stefanescu,Daejun Park,Shijiao Yuwen,Yilong Li,Grigore Rosu +4 more
- 19 Oct 2016
TL;DR: A language-independent verification framework that can be instantiated with an operational semantics to automatically generate a program verifier that can check automatically the full functional correctness of challenging heap-manipulating programs implementing operations on list and tree data structures, like AVL trees is presented.
115
40 Years of Formal Methods
Dines Bjørner,Klaus Havelund +1 more
- 12 May 2014
TL;DR: In this article, a survey of 40 years of formal methods for software development is presented, and the authors discuss the obstacles or hindrances to the proper integration of formal method in university research and education as well as in industry practice.
56
Mondex, an electronic purse: specification and refinement checks with the Alloy model-finding method
TL;DR: The Alloy model-finding method has been used to check the specification of an electronic purse system, called the Mondex case study, initially written in Z, giving general methods that can be used in most case studies with Alloy.
KVEST: Automated Generation of Test Suites from Formal Specifications
Igor Burdonov,A. S. Kossatchev,Alexandre Petrenko,Dmitri Galter +3 more
- 20 Sep 1999
TL;DR: This paper provides a brief description of the approach, comparison to related works, and statistics on completed projects of the Kernel Verification project.
Related Papers (5)
Anne Elisabeth Haxthausen
- 01 Jan 1992
Cliff B. Jones
- 01 Jun 1986
Ivar Jacobson,Grady Booch,James Rumbaugh +2 more
- 01 Jan 1999