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)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2016
Highly Cited
2016
Ethereum is a framework for cryptocurrencies which uses blockchain technology to provide an open global computing platform… 
Highly Cited
2010
Highly Cited
2010
We report on the formal, machine-checked verification of the seL4 microkernel from an abstract specification down to its C… 
Highly Cited
2009
Highly Cited
2009
Complete formal verification is the only known way to guarantee that a system is free of programming errors. We present our… 
Highly Cited
2009
Highly Cited
2009
This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from… 
Review
2008
Review
2008
The quality and the correctness of software are often the greatest concern in electronic systems. Formal verification tools can… 
Review
2004
Review
2004
Dramatic improvements in SAT solver technology over the last decade and the growing need for more efficient and scalable… 
Review
1999
Review
1999
In recent years, formal methods have emerged as an alternative approach to ensuring the quality and correctness of hardware… 
Highly Cited
1997
Highly Cited
1997
This dissertation presents methods for the formal modeling and specification of probabilistic systems, and algorithms for the… 
Review
1995
Review
1995
  • R. Bryant
  • Proceedings of IEEE International Conference on…
  • 1995
  • Corpus ID: 171024
Ordered Binary Decision Diagrams (OBDDs) have found widespread use in CAD applications such as formal verification, logic… 
Highly Cited
1976
Highly Cited
1976
Two formal models for parallel computation are presented: an abstract conceptual model and a parallel-program model. The former…