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.
2015
2015
Mobile Agent Security Using Reference Monitor Based Security Framework
: In distributed systems and in open systems such as the Internet, often mobile code has to run on unknown and potentially… 
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… 
Highly Cited
2006
Highly Cited
2006
Control with building mass-Part I: Thermal response model
In this paper we derive a general model and reliable identification procedures that can be applied autonomously for on-line… 
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… 
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
1994
Highly Cited
1994
Methodology and System for Practical Formal Verification of Reactive Hardware
Making formal verification a practicality in industrial environments is still difficult. The capacity of most verification tools… 
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… 
1973
1973
Dynamic verification of operating system decisions
Dynamic verification of a decision implies that every time the decision is made there is a consistency check performed on the… 
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)