Cited By
View all- Zeng XLiang HYuan JSong XYang G(2023)Generalized Affine Equivalence Checking of Boolean Functions via Reachability AnalysisIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/TCAD.2023.323580242:9(2966-2979)Online publication date: Sep-2023
- Rumreich LSivilotti P(2021)Formal Verification of a Java Component Using the RESOLVE FrameworkFrontiers of Combining Systems10.1007/978-3-030-86205-3_16(287-305)Online publication date: 1-Sep-2021
- Subburaj VUrban J(2018)Descartes-Agent: Verifying Formal Specifications Using the Model Checking Technique2018 Second IEEE International Conference on Robotic Computing (IRC)10.1109/IRC.2018.00081(392-398)Online publication date: Jan-2018
- Show More Cited By