Skip to search formSkip to main contentSkip to account menu

Formal methods

Known as: Formal techniques, Formal, Formal development 
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2015
Highly Cited
2015
Engineers use TLA+ to prevent serious but subtle bugs from reaching production. 
Highly Cited
2011
Highly Cited
2011
Social Research MethodsSocial Research MethodsA Concise Introduction to Mixed Methods ResearchDesigning Qualitative… 
Highly Cited
2004
Highly Cited
2004
The SLAM project originated in Microsoft Research in early 2000. Its goal was to automatically check that a C program correctly… 
Review
2002
Review
2002
In this paper we shall survey and discuss in detail the work on the relative expressiveness of recursion and replication in… 
Highly Cited
1996
Highly Cited
1996
Hardware and software systems will inevitably grow in scale and functionality. Because of this increase in complexity, the… 
Highly Cited
1994
Highly Cited
1994
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite… 
Highly Cited
1990
Highly Cited
1990
  • A. Hall
  • IEEE Software
  • 1990
  • Corpus ID: 15860554
Seven widely held conceptions about formal methods are challenged. These beliefs are variants of the following: formal methods… 
Highly Cited
1990
Highly Cited
1990
Formal methods used in developing computer systems (i.e. mathematically based techniques for describing system properties) are… 
Review
1989
Review
1989
We present a model for computation over the reals or an arbitrary (ordered) ring R. In this general setting, we obtain universal… 
Highly Cited
1947
Highly Cited
1947
This paper is concerned with methods of evaluating numerical solutions of the non-linear partial differential equation where…