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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
1999
Highly Cited
1999
The use of formal system specifications makes it possible to automate the derivation of test cases from specifications. This… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1996
Highly Cited
1996
ion Real systems are di cult to specify and verify without abstrac tions We need to identify di erent kinds of abstractions… (More)
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… (More)
  • table 1
  • table 2
  • figure 2
  • figure 1
  • figure 3
Is this relevant?
Highly Cited
1995
Highly Cited
1995
The formal methods community is in general very good at undertaking research into the mathematical aspects of formal methods, but… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Highly Cited
1991
Highly Cited
1991
models will, by their nature, serve to specify only a subset of properties of interest. For any particular property, we may want… (More)
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… (More)
  • figure 2
  • figure 3
  • figure 7
  • figure 9
  • figure 10
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Seven widely held conceptions about formal methods are challenged. These beliefs are variants of the following: formal methods… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The z an introduction to formal methods that we provide for you will be ultimate to give preference. This reading book is your… (More)
Is this relevant?