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