Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2020
Review
2020
Certificates play an important role in education and in professional development in companies. Individual learning records become… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Review
2019
Review
2019
Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their formal specification and verification… Expand
  • table 1
  • table 2
  • table 3
  • table 4
Review
2018
Review
2018
Abstract This paper provides an overview of the Self-Sovereign Identity (SSI) concept, focusing on four different components that… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Review
2018
Review
2018
Abstract Learning-based pattern classifiers, including deep networks, have shown impressive performance in several application… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 6
Review
2018
Review
2018
A verifiable delay function (VDF) is an important tool used for adding delay in decentralized applications. This short note… Expand
  • figure 1
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… Expand
  • figure 4
  • figure 5
  • table 1
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… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Highly Cited
2009
Highly Cited
2009
This paper reports on the development and formal verification (proof of semantic preservation) of CompCert, a compiler from… Expand
  • figure 1
  • figure 2
Highly Cited
1997
Highly Cited
1997
This dissertation presents methods for the formal modeling and specification of probabilistic systems, and algorithms for the… Expand
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… Expand
  • figure 1
  • figure 2
  • figure 4
  • figure 6
  • figure 5