Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
With the increasing advances in hardware technology for data collection, and advances in software technology (databases) for data… Expand
Is this relevant?
Highly Cited
2011
Highly Cited
2011
 
Is this relevant?
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… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
  • W. V. Aalst
  • J. Circuits Syst. Comput.
  • 1998
  • Corpus ID: 7538284
Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper describes proof-carrying code (PCC), a mechanism by which a host system can determine with certainty that it is safe… Expand
  • figure 1
  • figure 4
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Hardware and software systems will inevitably grow in scale and functionality. Because of this increase in complexity, the… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Requirements engineering is concerned with the identification of high-level goals to be achieved by the system envisioned, the… Expand
  • table 1
  • table 2
  • figure 2
  • figure 1
  • figure 3
Is this relevant?
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… Expand
  • figure 1
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Formal methods used in developing computer systems (i.e. mathematically based techniques for describing system properties) are… Expand
  • figure 3
  • figure 5
  • figure 6
  • figure 8
  • figure 9
Is this relevant?
Highly Cited
1989
Highly Cited
1989
The authors present a detailed study of four formal methods (T-, U-, D-, and W-methods) for generating test sequences for… Expand
  • table I
  • table I
  • table 111
  • table VI
  • table VI
Is this relevant?