QuantumWire

Japanese Scientists Have Developed a Symbolic Model Checking Approach for Verifying Quantum Circuits

Scientists from the Japan Advanced Institute of Science and Technology (JAIST) have recently proposed a symbolic approach for automatic model-checking of quantum circuits, aiming to bridge the gap between model-checking quantum programs and quantum circuits. This novel method, developed using basic matrix operations in quantum mechanics laws and the Maude programming language, marks a crucial first step towards a universal framework for quantum circuit verification and specification.

QUANTUMWIRE.COM
Topics:
Quantum ComputingSoftware & Algorithms Japan
Tags:
Quantum CircuitProgramming LanguageQuantum MechanicsQuantum Program

NewsFlash

Leaders from Purdue University and the U.S. Department of Energy’s Argonne National Laboratory on Monday (Sept. 9) signed a memorandum of…
September 12, 2024
Singtel Announced the Launch of Southeast Asia’s First National Quantum-Safe NetworkSingtel yesterday announced the launch of Southeast Asia’s first…
August 9, 2024
D-Wave Quantum announced yesterday its second quarter and first half financial results ending June 30, 2024. Second quarter revenue was $2.2 million…
August 9, 2024
Rigetti Computing today announced its financial results for the second quarter ended June 30, 2024. Total revenues were $3.1 million, Total operating…
August 9, 2024
Quantum Machines, an Israeli quantum computing control solutions provider, announced yesterday that it will inaugural Adaptive Quantum Circuits (AQC…
August 9, 2024
Zapata AI today announced that it will release its second quarter 2024 financial results before market open on Wednesday, August 14th, 2024. A…
August 8, 2024
Rigetti Computing announced yesterday that it will release second quarter 2024 results on Thursday, August 8, 2024 after market close. The Company…
July 30, 2024
The Department of Electrical and Computer Engineering at the University of Maryland has announced its new Minor in Quantum Science and Engineering.…
July 30, 2024
The Bloch Quantum Tech Hub was awarded a $500,000 Consortium Accelerator Award through the US Department of Commerce’s Economic Development…
July 30, 2024
A senior vice president at IonQ recently revealed some technical details about the IonQ Tempo quantum system: Tempo will be IonQ's first system to…
July 28, 2024
Singapore research organisations and Quantinuum signed a Memorandum of Understanding (MoU) on 23 July enabling access to Quantinuum’s advanced…
July 24, 2024
Quandela and Welinq announce a transformative partnership for the quantum industry. This collaboration combines Quandela’s expertise in photonic…
July 19, 2024
Quantum computing startup Nord Quantique recently announced that its Co-Founder and CEO Philippe St-Jean will move into a new position with Chief…
July 18, 2024
The Defense Advanced Research Projects Agency (DARPA) recently announced that it has begun a new initiative to benchmark quantum computing algorithms…
July 18, 2024
Recently, representatives from the Chicago Quantum Exchange, the University of Chicago’s Polsky Center for Entrepreneurship and Innovation, and…
July 18, 2024
IonQ, a manufacturer of ion trap quantum computer hardware, announced yesterday that the company will release its financial results for the quarter…
July 18, 2024
Quantonation, the leading early-stage investment fund dedicated to quantum technologies, announced yesterday that it has invested in Paris-based…
July 18, 2024
Riverlane and Atlantic Quantum announced a strategic partnership to work together on quantum error correction. The partnership will combine Riverlane…
July 18, 2024
Quantum computing startup Oxford Quantum Circuits (OQC) has recently appointed Nick Dixon-Clegg as a member of its Board of Directors. Nick is Head…
July 18, 2024
AppViewX, the leader in automated certificate lifecycle management (CLM) and PKI solutions, announced the AppViewX PQC（Post-Quantum Cryptograph）Test…
July 18, 2024
Quantum Xchange recently released version 11.0 of its CipherInsights, the company’s network monitoring, crypto-discovery, and risk assessment tool.…
July 18, 2024
UChicago Pritzker School of Molecular Engineering Prof. Andrew Cleland has been selected as a recipient of a flagship basic research funding program…
July 17, 2024
On Tuesday (July 16th) local time, JB Pritzker, the Governor of Illinois, announced that Illinois had signed a memorandum of agreement with the…
July 17, 2024
The U.S. Department of Energy (DOE) and the Defense Advanced Research Projects Agency (DARPA) announced a memorandum of understanding (MOU) to…
July 17, 2024
Quantum design automation software developer QC Design announced yesterday that it has been selected for the Accelerator program by the European…
July 17, 2024
According to Australian media reports, tech giant Microsoft has shut down its quantum computing research facility in Australia after seven years of…
July 17, 2024
Quantum chip testing equipment supplier Orange Quantum Systems announced yesterday the opening of a new factory named Production 2 in Delft. The…
July 17, 2024
The Italian Eni Group has recently announced that it has partnered with ITQuanta to establish a joint venture named Eniquantic. This quantum…
July 17, 2024
Quantum information company Infleqtion announced yesterday the installation of a cutting-edge neutral atom quantum computer at the National Quantum…
July 17, 2024
The European Quantum Flagship Initiative announced that the Ariane 6 carrier rocket was successfully launched a few days ago, carrying the advanced…
July 16, 2024

Quantum Computer R&D News

Latest News