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

Formal specification

Known as: Formal, Specification (computing), Software specification 
In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and… Expand
Wikipedia

Related topics

Related topics

49 relations
ACM Transactions on Programming Languages and SystemsAbstract state machinesAgile software developmentAlgebraic specification
Expand

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
Formal Specification and Verification of Autonomous Robotic Systems
Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their formal specification and verification… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Review
2018
Review
2018
Formal Specification for Deep Neural Networks
The increasing use of deep neural networks in a variety of applications, including some safety-critical ones, has brought renewed… Expand
Highly Cited
2011
Highly Cited
2011
Sampling-based algorithms for optimal motion planning
During the last decade, sampling-based path planning algorithms, such as probabilistic roadmaps (PRM) and rapidly exploring… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2006
Highly Cited
2006
The Formal Specification Language mCRL2
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 3
Highly Cited
1996
Highly Cited
1996
Formal methods: state of the art and future directions
Hardware and software systems will inevitably grow in scale and functionality. Because of this increase in complexity, the… Expand
Highly Cited
1995
Highly Cited
1995
Testing Can Be Formal, Too
The paper presents a theory of program testing based on formal specifications. The formal semantics of the specifications is the… Expand
Highly Cited
1993
Highly Cited
1993
Larch: Languages and Tools for Formal Specification
This monograph addresses the use of formal specification languages and supporting tools. Concentrating on the Larch specification… Expand
  • figure 1.2
  • figure 3.1
  • figure 3.9
  • figure 4.8
  • figure 4.9
Highly Cited
1991
Highly Cited
1991
Introduction to formal specification and Z
From the Publisher: Introduces developers to Z notation, a formal specification methodology that can dramatically improve the… Expand
Highly Cited
1990
Highly Cited
1990
A specifier's introduction to formal methods
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
1971
Highly Cited
1971
Shape Grammars and the Generative Specification of Painting and Sculpture
A method of shape generation using shape grammars which take shape as primitive and have shape-specific rules is presented. A… Expand
  • figure 6-1
  • figure 6-2
  • figure 6-3
  • figure 6-4
  • figure 6-5
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE