Parallel path detection for fraudulent accounts in banks based on graph analysis.
PeerJ Comput. Sci., 2023
Incremental Witness Generation for Branching-Time Logic CTL.
IEEE Trans. Reliab., 2022
Ensuring the Correctness of Regular Expressions: A Review.
Int. J. Autom. Comput., 2021
Study of Blockchains's Consensus Mechanism Based on Credit.
IEEE Access, 2019
Optimized Step Semantics Encoding for Bounded Model Checking of Timed Automata.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019
Symbolic model checking for discrete real-time systems.
Sci. China Inf. Sci., 2018