Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,115,091 papers from all fields of science
Search
Sign In
Create Free Account
Formal methods
Known as:
Formal techniques
, Formal
, Formal development
Expand
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
ALGOL 58
APCB
Abstract data type
Abstraction (software engineering)
Expand
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
K. Kernschmidt
,
B. Vogel‐Heuser
IEEE International Conference on Automation…
2013
Corpus ID: 3172250
Modern mechatronic production plants contain a multitude of mechanical, electrical/electronic and software components. During its…
Expand
Highly Cited
2007
Highly Cited
2007
Conflict Detection and Resolution for 1,2,...N Aircraft
Gilles Dowek
,
C. Muñoz
2007
Corpus ID: 17224513
This paper presents a mathematical framework for the formal specification of aircraft conflict detection and resolution…
Expand
Highly Cited
2005
Highly Cited
2005
PACT: an efficient and powerful algorithm for generating area cladograms
M. Wojcicki
,
D. R. Brooks
2005
Corpus ID: 34442677
Aim To introduce and describe the functioning of a new algorithm, phylogenetic analysis for comparing trees (PACT), for…
Expand
Highly Cited
2003
Highly Cited
2003
Modeling and formal verification of embedded systems based on a Petri net representation
L. Cortés
,
P. Eles
,
Zebo Peng
Journal of systems architecture
2003
Corpus ID: 13280070
Highly Cited
2001
Highly Cited
2001
Performance specification of software components
M. Sitaraman
,
Greg Kulczycki
,
+4 authors
A. L. N. Reddy
ACM SIGSOFT Symposium on Software Reusability
2001
Corpus ID: 16582248
Component-based software engineering is concerned with predictability in both functional and performance behavior, though most…
Expand
Highly Cited
2000
Highly Cited
2000
Using Formal Analysis Techniques in Business Process Redesign
K. V. Hee
,
H. Reijers
International Conference on Business Process…
2000
Corpus ID: 951005
Formal analysis techniques can deliver important support during business process redesign efforts. This chapter points out the…
Expand
1999
1999
An Executable Specification and Verifier for Relaxed Memory Order
Seungjoon Park
,
D. Dill
IEEE Trans. Computers
1999
Corpus ID: 7197208
The Mur/spl psi/ description language and verification system for finite-state concurrent systems is applied to the problem of…
Expand
Highly Cited
1985
Highly Cited
1985
Photometric Methods in Inorganic Trace Analysis
E. Upor
,
M. Mohai
,
G. Novák
1985
Corpus ID: 93612904
1. Some Questions of the Applications of (Spectro) Photometric Methods. 2. Planning, Elaboration and Control of Analytical…
Expand
Highly Cited
1985
Highly Cited
1985
Program specification and development in standard ML
D. Sannella
,
A. Tarlecki
ACM-SIGACT Symposium on Principles of Programming…
1985
Corpus ID: 8953707
An attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with…
Expand
Review
1982
Review
1982
A Survey of Formal Methods
G. Bochmann
,
C. Sunshine
1982
Corpus ID: 60570918
As evidenced by the earlier chapters in this book, increasingly numerous and complex communication protocols are being employed…
Expand
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)
ACCEPT & CONTINUE