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)

Related topics

Related topics

49 relations
ALGOL 58APCBAbstract data typeAbstraction (software engineering)

Broader (1)

Theoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2013
Highly Cited
2013
An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering
Modern mechatronic production plants contain a multitude of mechanical, electrical/electronic and software components. During its… 
Highly Cited
2007
Highly Cited
2007
Conflict Detection and Resolution for 1,2,...N Aircraft
This paper presents a mathematical framework for the formal specification of aircraft conflict detection and resolution… 
Highly Cited
2005
Highly Cited
2005
PACT: an efficient and powerful algorithm for generating area cladograms
Aim  To introduce and describe the functioning of a new algorithm, phylogenetic analysis for comparing trees (PACT), for… 
Highly Cited
2004
Highly Cited
2004
Component-Based Modelling of Thermofluid Systems for Sensor Placement and Fault Detection
Modelling of thermofluid systems is complex because of the coupling of thermal and hydraulic energies. Bond graph language is a… 
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
Highly Cited
2001
Highly Cited
2001
Performance specification of software components
Component-based software engineering is concerned with predictability in both functional and performance behavior, though most… 
Highly Cited
2000
Highly Cited
2000
Using Formal Analysis Techniques in Business Process Redesign
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the… 
1999
1999
An Executable Specification and Verifier for Relaxed Memory Order
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
Photometric Methods in Inorganic Trace Analysis
1. Some Questions of the Applications of (Spectro) Photometric Methods. 2. Planning, Elaboration and Control of Analytical… 
Review
1982
Review
1982
A Survey of Formal Methods
As evidenced by the earlier chapters in this book, increasingly numerous and complex communication protocols are being employed… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)