Skip to search formSkip to main contentSkip to account menu

Formal verification

Known as: Verifiable, Formal, Verifiability 
In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
ACM Turing AwardAlphard (programming language)Application-specific integrated circuitArvind (computer scientist)

Broader (2)

Formal methodsTheoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
Verification of a Timed Multitask System With Uppaal
System and program verification has been a large area of research since the introduction of computers in industrial systems. It… 
Highly Cited
2006
Highly Cited
2006
Performance Measure Congruity and the Balanced Scorecard
This paper studies the incentive effects of a balanced scorecard within a multitask agency framework under both formal and… 
Highly Cited
2005
Highly Cited
2005
Recent History of Large-Scale Ecosystem Disturbances in North America Derived from the AVHRR Satellite Record
Ecosystem structure and function are strongly affected by disturbance events, many of which in North America are associated with… 
2004
2004
On the optimality of symbol-by-symbol filtering and denoising
We consider the problem of optimally recovering a finite-alphabet discrete-time stochastic process {X/sub t/} from its noise… 
Highly Cited
2003
Highly Cited
2003
Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML
Today, advanced technical systems are complex, reconfigurable mechatronic systems where most control and reconfiguration… 
Highly Cited
2000
Highly Cited
2000
Microbathymetric Mapping from Underwater Vehicles in the Deep Ocean
In this paper we present a methodology for very high resolution acoustic mapping from an underwater vehicle. Based on the… 
Highly Cited
2000
Highly Cited
2000
Multiobject Behavior Recognition by Event Driven Selective Attention Method
This paper presents a multiobject behaviour recognition approach based on assumption generation and verification, i.e., feasible… 
Highly Cited
1989
Highly Cited
1989
PROCOL - A Parallel Object Language with Protocols
PROCOL is a parallel C-based object-oriented language with communication based on one-way synchronous messages. Objects execute… 
Highly Cited
1988
Highly Cited
1988
Reality of chaos in the double scroll circuit: A computer-assisted proof
The authors prove three key inequalities stated in the paper by L.O. Chua, M. Komouro, and T. Matsumoto (see ibid., vol. CAS-33… 
Highly Cited
1979
Highly Cited
1979
The Application of Program Verification to Hardware Verification
The growing complexity of machine designs and costs of engineering changes are increasing the demand for tools and methods to… 
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)