BaySpec is a Specification Mining algorithm that uses Bayesian networks that are created with the python library libpgm as an input and finds specifications in the network as most likely paths within the network.
This work is based on the methodology described in: Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference A. Mrowca, M. Nocker, S. Steinhorst, S. Günnemann - Proceedings of the 56th Annual Design Automation Conference, 2019