Keyword:symbolic verification

Publications
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 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