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
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
2002
Highly Cited
2002
A HOLISTIC APPROACH FOR MANAGINGREQUIREMENTS OF DATA WAREHOUSE SYSTEMS
Quantitive evaluations show that many data warehouse projects fail at an alarming rate, wasting all the time, money, and effort… 
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
2000
Highly Cited
2000
A CSP model for Java multithreading
Java threads are synchronised through primitives based upon monitor concepts developed in the early 1970s. The semantics of Java… 
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… 
Review
1979
Review
1979
Computer hardware description languages and their applications
Although design languages have been in existence since the early 1960's. only in the last few years has there been a concerted… 
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)