Abstract: The Adiabatic Quantum-Flux-Parametron (AQFP), which benefits from low power consumption and rapid switching, is one of the rising superconducting logics. Due to the rapid switching, the ...

Abstract: Focusing on the impact different ways of formalization have on the according verifications of sorting algorithm, this paper presents the formal specifications of insertion sort, and verifies ...