research
∙
05/02/2022
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
This paper presents Giallar, a fully-automated verification toolkit for ...
share
research
∙
04/13/2021
Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version)
Practical error analysis is essential for the design, optimization, and ...
research
∙
03/03/2021
SciviK: A Versatile Framework for Specifying and Verifying Smart Contracts
The growing adoption of smart contracts on blockchains poses new securit...
research
∙
03/17/2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks (Extended Version)
Verifying real-world programs often requires inferring loop invariants w...
research
∙
03/17/2020
Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks
In many cases, verifying real-world programs requires inferring loop inv...
research
∙
08/23/2019