Symbolic model checking quantum circuits in Maude
Symbolic model checking quantum circuits in Maude
About this item
Full title
Author / Creator
Publisher
United States: PeerJ Inc
Journal title
Language
English
Formats
Publication information
Publisher
United States: PeerJ Inc
Subjects
More information
Scope and Contents
Contents
This article presents a symbolic approach to model checking quantum circuits using a set of laws from quantum mechanics and basic matrix operations with Dirac notation. We use Maude, a high-level specification/programming language based on rewriting logic, to implement our symbolic approach. As case studies, we use the approach to formally specify...
Alternative Titles
Full title
Symbolic model checking quantum circuits in Maude
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_doaj_primary_oai_doaj_org_article_b7d3825ca84d47e08001bf5aa20f48c9
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_doaj_primary_oai_doaj_org_article_b7d3825ca84d47e08001bf5aa20f48c9
Other Identifiers
ISSN
2376-5992
E-ISSN
2376-5992
DOI
10.7717/peerj-cs.2098
