HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:symbolic verification

Papers
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei-Jia Huang, Wei-Chen Chien, Yuan Feng, Min-Hsiu Hsieh, Sanjiang Li, Chia-Shun Yeh and Mingsheng Ying
EasyChair Preprint no. 10649
Usage of Invariants for Symbolic Verification of Requirements
Alexander Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Oleksandr Letychevskyi and Vladimir Peschanenko
In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
Copyright © 2012-2023 easychair.org. All rights reserved.