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
Highly Cited
2011
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
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… Expand
  • table 6
  • table 7
  • figure 12
  • figure 13
  • figure 12
Review
2000
Review
2000
  • Georg Frey, L. Litz
  • Smc conference proceedings. ieee international…
  • 2000
  • Corpus ID: 2645473
A detailed generic model of the control design process is introduced and discussed. It is used for surveying different formal… Expand
  • figure 2
  • figure I
  • figure 3
Highly Cited
1999
Highly Cited
1999
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can… Expand
  • figure 1
  • figure 2
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
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
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
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