<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

Qafny: A Quantum-Program Verifier (Artifact)

integration_instructionsResearch softwarekeyboard_double_arrow_right Software 18 Jan 2024Publisher:Zenodo

doi: 10.5281/zenodo.10529672 , 10.5281/zenodo.10529900

Qafny: A Quantum-Program Verifier (Artifact)

- Summary
- Related research
  (2)
- Metrics

Abstract

This is the artifact of "Qafny: A Quantum-Program Verifier". It is a docker image containing two pieces of work in the paper. Users can start a docker image as the instruction in the README file. There are two subdirectories in the artifact directories. The Dafny contains compiled Dafny programs from Qafny, and they are suitable for automated verification in Dafny, with very effective running time. The proof directory contains the Coq proof for showing the type soundness, proof system sound and completeness in the paper.

2 Research products, page 1 of 1

Qafny: A Quantum-Program Verifier (Bad Artifact)
integration_instructionsResearch software2024HasVersion
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
more_vert
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
Qafny: A Quantum-Program Verifier (Stored Artifact)
integration_instructionsResearch software2024HasVersion
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu
more_vert
linkLink to
shareshareShare
citeCite
addClaim
Please grant OpenAIRE to access and update your ORCID works.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
This Research product is the result of merged Research products in OpenAIRE.

You have already added works in your ORCID record related to the merged Research product.
Select content type to embed
All Research products
arrow_drop_down
<script type="text/javascript">  </script>
COPY SCRIPT
For further information contact us at helpdesk@openaire.eu

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Qafny: A Quantum-Program Verifier (Artifact)

Qafny: A Quantum-Program Verifier (Artifact)

2 Research products, page 1 of 1

Qafny: A Quantum-Program Verifier (Bad Artifact)

Qafny: A Quantum-Program Verifier (Stored Artifact)