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.
2012
2012
Orthogonal discriminant vector for face recognition across pose
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
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… 
2000
2000
Mathematical Modelling of 3D Electron-Photon Transport in Microbeam Analysis
Abstract. In electron microbeam techniques, the particle beam is focused on the material to be analysed. When the electron beam… 
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
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
1987
Highly Cited
1987
Concurrency and Nets
Many approaches are being developed for handling the different phases in the design of complex information systems, namely… 
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)