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
2013
Highly Cited
2013
Modern mechatronic production plants contain a multitude of mechanical, electrical/electronic and software components. During its… 
Highly Cited
2007
Highly Cited
2007
This paper presents a mathematical framework for the formal specification of aircraft conflict detection and resolution… 
Highly Cited
2005
Highly Cited
2005
Aim  To introduce and describe the functioning of a new algorithm, phylogenetic analysis for comparing trees (PACT), for… 
Highly Cited
2001
Highly Cited
2001
Component-based software engineering is concerned with predictability in both functional and performance behavior, though most… 
Highly Cited
2000
Highly Cited
2000
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the… 
1999
1999
The Mur/spl psi/ description language and verification system for finite-state concurrent systems is applied to the problem of… 
Highly Cited
1985
Highly Cited
1985
1. Some Questions of the Applications of (Spectro) Photometric Methods. 2. Planning, Elaboration and Control of Analytical… 
Highly Cited
1985
Highly Cited
1985
An attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with… 
Review
1982
Review
1982
As evidenced by the earlier chapters in this book, increasingly numerous and complex communication protocols are being employed…