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.
2007
2007
Design of Wide-Band Semi-Lumped Bandpass Filters Using Open Split Ring Resonators
Open split ring resonators (OSRRs) are used in this letter to design wide-band semi-lumped bandpass filters. OSRRs work as lumped… 
2005
2005
Designated-Verifier Proxy Signature Schemes
In a proxy signature scheme, a user delegates his/her signing capability to another user in such a way that the latter can sign… 
Highly Cited
2004
Highly Cited
2004
Can we contain Internet worms
Worm containment must be automatic because worms can spread too fast for humans to respond. Recent work has proposed a network… 
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… 
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
1996
Highly Cited
1996
Robust interval algorithm for curve intersections
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… 
1986
1986
A Polymorphic λ-calculus with Type:Type
This work may not be copied or reproduced in whole or in part for any commercial purpose. Permission to copy in whole or in part… 
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… 
Highly Cited
1975
Highly Cited
1975
LEARNING-THEORETIC FOUNDATIONS OF LINGUISTIC UNIVERSALS
Abstract : Some aspects of a theory of grammar are presented which derive from a formal theory of language acquisition. One… 
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)