Using SAT Solvers to Reverse-Engineer FSM Models of Digital Devices
Article in Electronics (November 2023)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in Electronics (November 2023)
Article in Machine Learning (March 2021)
Article in Journal of Membrane Computing (January 2019)