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… 
Review
2007
Review
2007
Decimal floating-point in z9: An implementation and testing perspective
Although decimal arithmetic is widely used in commercial and financial applications, the related computations are handled in… 
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
STATE OF INFORMATION ON SALMON AQUACULTURE FEED AND THE ENVIRONMENT
• WWF US initiated the Salmon Aquaculture Dialogue in February 2004. The goal of the Dialogue is to engage stakeholders in… 
Highly Cited
2001
Highly Cited
2001
Ask-an-expert services analysis
This article discusses the history and emergence of nonlibrary commercial and noncommercial information services on the World… 
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
1999
Highly Cited
1999
The current landscape of Agent Communication Languages
Despite the substantial number of multi-agent systems that use an Agent Communication Language (ACL) the dust has not settled yet… 
Highly Cited
1997
Highly Cited
1997
Robust interval algorithm for surface intersections
Highly Cited
1988
Highly Cited
1988
A Mechanizable Induction Principle for Equational Specifications
Automating proofs of properties of functions defined on inductively constructed data structures is important in many computer… 
Highly Cited
1985
Highly Cited
1985
A modular verifiable exception handling mechanism
This paper presents a new model for exception handling, called the replacement model. The replacement model, in contrast to other… 
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)